1.1:    Add declare-const
1.0:    First release.
