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


Ignore:
Timestamp:
Mar 14, 2012 9:06:10 AM (3 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