Changes between Version 476 and Version 477 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
01/11/10 20:00:43 (3 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v476 v477  
    7272'''Additional feature:''' 
    7373 * #3699: wildcards in type function LHSs 
    74  * #3491: relax restrictions on superclass contexts 
     74 * #3490: relax restrictions on superclass contexts 
    7575 * #2101 
    7676 * Total families