Changes between Version 4 and Version 5 of Ticket #4295


Ignore:
Timestamp:
Sep 9, 2010 8:56:23 AM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4295 – Description

    v4 v5  
    99 * tc211 
    1010 * indexed-types/should_compile/T4120 
     11 * simpl017 
    1112 * Many tests in `boxy/` (see also #1330 for Church2) 
    1213