Changes between Version 228 and Version 229 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
03/27/12 23:28:00 (14 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v228 v229  
    4242 
    4343=== Optimiser === 
     44 * #5964: casts and RULES interaction 
    4445 * #5262: seq magic 
    4546 * #605: strict/unboxed enumerations