Changes between Version 326 and Version 327 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 11, 2013 9:55:07 AM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v326 v327  
    118118 * #7503: Kind polymorphism and mutual recursion 
    119119 * #6018, #4259: Injective type families and type family overlap 
    120  * #7259: Eta-expansion of products in System FC * #4296: !SkolemOccurs 
     120 * #7259: Eta-expansion of products in System FC 
     121 * #4296: !SkolemOccurs 
    121122 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    122123