Changes between Version 256 and Version 257 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 11, 2012 8:41:55 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v256 v257  
    2121 * #4364: cycle in type declarations
    2222 * #5469, #4429: `reinerp` work on `newName` and export reorganisation
     23 * #5375: semantics of `newName`
    2324
    2425== Optimisation ==