| changeset 3217 | d67a6a48f1c7 |
| parent 3112 | e4050732ba15 |
| 3216:bc2c3a1f87ef | 3217:d67a6a48f1c7 |
|---|---|
26 "Ex/TypeVarsTest", |
26 "Ex/TypeVarsTest", |
27 "Ex/Foo1", |
27 "Ex/Foo1", |
28 "Ex/Foo2", |
28 "Ex/Foo2", |
29 "Ex/CoreHaskell", |
29 "Ex/CoreHaskell", |
30 "Ex/CoreHaskell2", |
30 "Ex/CoreHaskell2", |
31 "Ex/Pi" |
31 "Ex/Pi", |
32 "Ex/Local_Contexts" |
|
32 ]; |
33 ]; |
33 |
34 |
34 quick_and_dirty := true; |
35 quick_and_dirty := true; |
35 |
36 |
36 no_document use_thys |
37 no_document use_thys |