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


Ignore:
Timestamp:
Jan 29, 2010 12:19:34 AM (6 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`'''