Changes between Version 321 and Version 322 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 4, 2013 11:12:53 AM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v321 v322  
    2222 * #4429: `reinerp` work on `newName` and export reorganisation 
    2323 * #7021: make TH catch up with constraint kinds 
     24 * #7484: TH allows you to build invalid names 
    2425 
    2526== Optimisation ==