Changes between Version 177 and Version 178 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 21, 2010 10:08:47 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v177 v178  
    151151 
    152152== Features ==  
     153 * #4823: strength reduction for array indexing 
    153154 * #4479: type directed name resolution (TDNR) 
    154155 * #4426: simpler rule for implicit quantification