equal
deleted
inserted
replaced
9 |
9 |
10 - test scala-2.9.2; |
10 - test scala-2.9.2; |
11 |
11 |
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; |
|
15 |
14 - check HTML header of library; |
16 - check HTML header of library; |
15 |
|
16 - check CTRL-C, SIGINT in tty (also for external processes); |
|
17 |
17 |
18 - check persistent sessions with PG and Poly/ML 5.x; |
18 - check persistent sessions with PG and Poly/ML 5.x; |
19 |
19 |
20 - check file positions within logic images (hyperlinks etc.); |
20 - check file positions within logic images (hyperlinks etc.); |
21 |
21 |