Change history

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.