Changes between Version 224 and Version 225 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 14, 2012 9:06:10 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v224 v225  
    115115 
    116116== Features ==  
     117 * #5927: Constraints with universal quantification 
    117118 * #5630: External core needs love 
    118119 * #5429: docase and joinads