Changes between Version 289 and Version 290 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 12, 2012 5:00:14 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v289 v290  
    1717 * #4364: cycle in type declarations 
    1818 * #5469, #4429: `reinerp` work on `newName` and export reorganisation 
     19 * #7021: make TH catch up with constraint kinds 
    1920 
    2021== Optimisation ==