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


Ignore:
Timestamp:
Jan 29, 2010 12:19:34 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v102 v103  
    132132 
    133133== Features ==  
     134 * #3843: Add plugins 
    134135 * #3701: Implicitly declared existentials: a class as a type 
    135136 * #3480: '''Fingerprints in `TypeRep`'''