| 0.1 -- 24 May 2000 Original CML2 specification. |
| 0.2.0 -- 31 May 2000 Removed whenever/sets from the language. Everything is now done with deduction. |
| 0.2.1 -- 4 June 2000 Added warndepend. |
| 0.3.0 -- 9 June 2000 Deduction algorithm rewritten and documented in section V. |
| 0.4.0 -- 20 June 2000: Value stacking is implemented. |
| 0.5.0 -- 26 June 2000: Fuller support for ranges. Spec format converted to DocBook. |