Changes between Version 231 and Version 232 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 4, 2012 3:25:29 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v231 v232  
    4343 
    4444=== Optimiser === 
     45 * #5059: specialise on value arguments 
    4546 * #5964: casts and RULES interaction 
    4647 * #5262: seq magic