misc updates for Isabelle2009;
authorwenzelm
Tue Apr 14 12:27:18 2009 +0200 (2009-04-14)
changeset 30888a8f9e12d815e
parent 30887 fde434961f57
child 30889 d7cfcb9b5c7c
misc updates for Isabelle2009;
Admin/CHECKLIST
     1.1 --- a/Admin/CHECKLIST	Wed Apr 08 20:29:15 2009 +0200
     1.2 +++ b/Admin/CHECKLIST	Tue Apr 14 12:27:18 2009 +0200
     1.3 @@ -1,10 +1,13 @@
     1.4  Checklist for official releases
     1.5  ===============================
     1.6  
     1.7 -- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
     1.8 +- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,
     1.9 +  sparc-solaris, x86-solaris;
    1.10  
    1.11  - test ProofGeneral;
    1.12  
    1.13 +- test Scala wrapper;
    1.14 +
    1.15  - check HTML header of library;
    1.16  
    1.17  - check CTRL-C, SIGINT in tty (also for external processes);
    1.18 @@ -13,7 +16,9 @@
    1.19  
    1.20  - Admin/update-keywords;
    1.21  
    1.22 -- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
    1.23 +- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
    1.24 +
    1.25 +- update https://isabelle.in.tum.de/repos/website;
    1.26  
    1.27  - maintain Docs:
    1.28      doc-src/Dirs
    1.29 @@ -24,6 +29,3 @@
    1.30      lib/Tools/makeall
    1.31      lib/html/library_index_content.template
    1.32  
    1.33 -- after release: 
    1.34 -    commit new ~isabelle/website/include/documentationdist.include.html to website SVN
    1.35 -