Changes between Version 144 and Version 145 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 16, 2010 7:28:22 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v144 v145  
    9292------------------------ 
    9393== New constraint simplifier == 
     94 * '''#4232: main meta-ticket for the new type checker''' 
    9495 * #3714: error message if associated family has excess parameters 
    9596 * #3554: assertion failure