equal
deleted
inserted
replaced
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Atoms", |
4 ["Atoms", |
5 "Eqvt", |
5 "Eqvt", |
6 "Ex/Weakening", |
6 "Ex/Weakening", |
7 (*"Ex/Classical",*) |
7 "Ex/Classical", |
8 "Ex/Datatypes", |
8 (*"Ex/Datatypes",*) |
9 "Ex/Ex1", |
9 "Ex/Ex1", |
10 "Ex/ExPS3", |
10 "Ex/ExPS3", |
11 "Ex/Multi_Recs", |
11 "Ex/Multi_Recs", |
12 "Ex/Multi_Recs2", |
12 "Ex/Multi_Recs2", |
13 "Ex/LF", |
13 "Ex/LF", |
20 "Ex/Modules", |
20 "Ex/Modules", |
21 "Ex/SingleLet", |
21 "Ex/SingleLet", |
22 "Ex/Shallow", |
22 "Ex/Shallow", |
23 "Ex/SystemFOmega", |
23 "Ex/SystemFOmega", |
24 "Ex/TypeSchemes", |
24 "Ex/TypeSchemes", |
25 "Ex/TypeVarsTest", |
25 (*"Ex/TypeVarsTest",*) |
26 "Ex/Foo1", |
26 "Ex/Foo1", |
27 "Ex/Foo2", |
27 "Ex/Foo2", |
28 "Ex/CoreHaskell", |
28 "Ex/CoreHaskell", |
29 "Ex/CoreHaskell2" |
29 "Ex/CoreHaskell2" |
30 ]; |
30 ]; |