Changes between Version 237 and Version 238 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
04/20/12 00:26:24 (13 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v237 v238  
    122122 
    123123== Features ==  
     124 * #6024: allow defining a ''kind'' without also getting the corresponding ''type'' 
    124125 * #5927: Constraints with universal quantification 
    125126 * #5630: External core needs love