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

Show
Ignore:
Timestamp:
02/10/10 07:25:33 (3 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