equal
deleted
inserted
replaced
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
9 |
9 |
10 - test Proof General 4.1, 3.7.1.1; |
10 - test Proof General 4.1, 3.7.1.1; |
11 |
11 |
12 - test 'display_drafts' command; |
12 - test 'display_drafts' command; |
|
13 |
|
14 - test "#!/usr/bin/env isabelle_scala_script"; |
13 |
15 |
14 - check HTML header of library; |
16 - check HTML header of library; |
15 |
17 |
16 - check file positions within logic images (hyperlinks etc.); |
18 - check file positions within logic images (hyperlinks etc.); |
17 |
19 |