Changes between Version 4 and Version 5 of Ticket #4295


Ignore:
Timestamp:
Sep 9, 2010 8:56:23 AM (5 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