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


Ignore:
Timestamp:
Jan 29, 2010 6:40:51 AM (4 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