tuned;
authorwenzelm
Sun Jan 24 14:57:42 2016 +0100 (2016-01-24)
changeset 622383cde0ea64727
parent 62237 167641f8b83a
child 62239 6ee95b93fbed
tuned;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Sun Jan 24 13:07:50 2016 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Sun Jan 24 14:57:42 2016 +0100
     1.3 @@ -28,9 +28,9 @@
     1.4  
     1.5  - update https://bitbucket.org/isabelle_project/isabelle-website
     1.6  
     1.7 -- maintain doc/Contents;
     1.8 +- check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
     1.9  
    1.10 -- maintain Logics:
    1.11 +- check Logics:
    1.12      ROOTS
    1.13      lib/html/library_index_content.template
    1.14