Changes between Version 105 and Version 106 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 10, 2010 3:25:33 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v105 v106  
    152152== Not sure what to do about these == 
    153153 * #2284: the state-hack "optimisation" causes much re-computation 
     154 * #3872: divergence in simplifier