updated for release;
authorwenzelm
Fri Sep 08 19:26:28 2017 +0200 (21 months ago)
changeset 666476666fced78cc
parent 66646 383d8e388d1b
child 66648 e9d8ff531700
updated for release;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Fri Sep 08 19:22:47 2017 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Fri Sep 08 19:26:28 2017 +0200
     1.3 @@ -7,6 +7,8 @@
     1.4  
     1.5  - test 'display_drafts' command;
     1.6  
     1.7 +- test Isabelle/jEdit: print buffer
     1.8 +
     1.9  - test "#!/usr/bin/env isabelle_scala_script";
    1.10  
    1.11  - check sources:
    1.12 @@ -43,11 +45,6 @@
    1.13  
    1.14  - HTML library: check theory dependencies (PDF);
    1.15  
    1.16 -- test Isabelle/jEdit:
    1.17 -    . print buffer
    1.18 -    . on single-core
    1.19 -    . on airy device
    1.20 -
    1.21  - test contrib components:
    1.22      x86_64-linux without 32bit C/C++ libraries
    1.23      x86-linux on 32bit hardware