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


Ignore:
Timestamp:
May 11, 2012 8:41:55 PM (2 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 ==