Changes between Version 103 and Version 104 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 29, 2010 6:40:51 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v103 v104  
    132132
    133133== Features ==
     134 * #595: pattern-match overlap checking
    134135 * #3843: Add plugins
    135136 * #3701: Implicitly declared existentials: a class as a type