Changes between Version 284 and Version 285 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 7, 2012 9:48:26 PM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v284 v285  
    1717 * #4364: cycle in type declarations 
    1818 * #5469, #4429: `reinerp` work on `newName` and export reorganisation 
    19  * #5375: semantics of `newName` 
    2019 
    2120== Optimisation ==