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

Show
Ignore:
Timestamp:
07/12/12 10:00:14 (11 months 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 ==