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


Ignore:
Timestamp:
Nov 15, 2011 4:05:53 PM (2 years 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