Changes between Version 371 and Version 372 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 29, 2013 9:29:38 AM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v371 v372  
    44 
    55 * #8095: very slow constraint solving 
     6 * #8171: extended default rules 
    67 * #8177: role signature for type families 
    78 * #8155: defaulting with type families... bad error message