Changes between Version 146 and Version 147 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Sep 1, 2010 4:32:02 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v146 v147  
    9393== New constraint simplifier ==
    9494 * '''#4232: main meta-ticket for the new type checker'''
     95 * #1823: refinement
    9596 * #3714: error message if associated family has excess parameters
    9697 * #3554: assertion failure