Changes between Version 134 and Version 135 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 26, 2010 11:16:42 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v134 v135  
    154154 * #1475: Allow TH to generate import declarations       
    155155 * #2340: Better TH error recovery.  Easy to do; change to signature of qRecover. 
     156 * #4222: design of reification for TH 
    156157 
    157158== Features ==