Changes between Version 98 and Version 99 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 15, 2010 2:33:38 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v98 v99  
    8080== New constraint simplifier == 
    8181 * [wiki:TypeFunctionsStatus] 
     82 * #3692: bogus error message with constraint after arrow 
    8283 * #3742: implication constraints and inference 
    8384 * #3731: recursive dictionaries