Changes between Version 140 and Version 141 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 9, 2010 10:04:56 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v140 v141  
    9292------------------------
    9393== New constraint simplifier ==
     94 * #3714: error message if associated family has excess parameters
    9495 * #3554: assertion failure
    9596 * #3330: type checker loops