Changes between Version 137 and Version 138 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 30, 2010 1:40:01 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v137 v138  
    9292------------------------
    9393== New constraint simplifier ==
     94 * #3787: bad program produced
    9495 * #4226: strange implicit-parameter behaviour
    9596 * #4160: Type families crash in HEAD