Changes between Version 207 and Version 208 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
11/15/11 08:05:53 (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v207 v208  
    124124 
    125125== Features ==  
     126 * #5630: External core needs love 
    126127 * #5429: docase and joinads 
    127128 * #5391: better deriving Typeable