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


Ignore:
Timestamp:
Apr 23, 2012 1:40:39 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v238 v239  
    122122
    123123== Features ==
     124 * #6032: discussion about when foralls can be to the right of an arrow.
    124125 * #6024: allow defining a ''kind'' without also getting the corresponding ''type''
    125126 * #5927: Constraints with universal quantification