Changes between Version 476 and Version 477 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 12, 2010 4:00:43 AM (6 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