Changes between Version 388 and Version 389 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 24, 2013 10:34:47 AM (6 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v388 v389  
    185185 * #5959: top level splices and renaming 
    186186 * #5416: local modules 
    187  * #4364: type synonym loop 
    188187 * #4372: better quasiquotation support 
    189188 * #2041: Splicing in concrete syntax