equal
deleted
inserted
replaced
12 - test Proof General 4.1, 3.7.1.1; |
12 - test Proof General 4.1, 3.7.1.1; |
13 |
13 |
14 - test 'display_drafts' command; |
14 - test 'display_drafts' command; |
15 |
15 |
16 - check HTML header of library; |
16 - check HTML header of library; |
17 |
|
18 - check persistent sessions with PG and Poly/ML 5.x; |
|
19 |
17 |
20 - check file positions within logic images (hyperlinks etc.); |
18 - check file positions within logic images (hyperlinks etc.); |
21 |
19 |
22 - isabelle update_keywords; |
20 - isabelle update_keywords; |
23 |
21 |
42 - test Isabelle/jEdit: |
40 - test Isabelle/jEdit: |
43 print buffer |
41 print buffer |
44 |
42 |
45 - test contrib components: |
43 - test contrib components: |
46 x86_64-linux without 32bit C/C++ libraries |
44 x86_64-linux without 32bit C/C++ libraries |
47 Mac OS X Leopard |
|
48 |
45 |
49 - check "Handler catches all exceptions", using |
46 - check "Handler catches all exceptions", using |
50 PolyML.Compiler.reportExhaustiveHandlers := true; |
47 PolyML.Compiler.reportExhaustiveHandlers := true; |
51 |
48 |
52 |
49 |