Changes between Version 164 and Version 165 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 9, 2010 10:52:32 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v164 v165  
    183183 
    184184== Features ==  
     185 * #4479: type directed name resolution (TDNR) 
    185186 * #4426: simpler rule for implicit quantification 
    186187 * #4372: better quasiquotes