Changes between Version 116 and Version 117 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 25, 2010 11:14:03 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v116 v117  
    8686------------------------ 
    8787== New constraint simplifier == 
     88 * #4093: constraint simplifier loops 
    8889 * #3064: performance of constraint simplifier 
    8990 * [wiki:TypeFunctionsStatus]