equal
deleted
inserted
replaced
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 |
17 |
18 - check file positions within logic images (hyperlinks etc.); |
18 - check file positions within logic images (hyperlinks etc.); |
19 |
|
20 - isabelle update_keywords; |
|
21 |
19 |
22 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
20 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
23 |
21 |
24 - check funny base directory, e.g. "Test 中国"; |
22 - check funny base directory, e.g. "Test 中国"; |
25 |
23 |