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


Ignore:
Timestamp:
Jul 26, 2010 11:16:42 AM (5 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 ==