equal
deleted
inserted
replaced
14 - Admin/update-keywords; |
14 - Admin/update-keywords; |
15 |
15 |
16 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
16 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
17 |
17 |
18 - maintain Docs: |
18 - maintain Docs: |
19 Doc/Dirs |
19 doc-src/Dirs |
20 Distribution/doc/Contents |
20 doc/Contents |
21 |
21 |
22 - maintain Logics: |
22 - maintain Logics: |
23 Admin/makedist |
23 Admin/makedist |
24 Distribution/build |
24 build |
25 Distribution/lib/Tools/makeall |
25 lib/Tools/makeall |
26 Distribution/lib/html/index.html |
26 lib/html/index.html |
27 Doc/Logics/intro.tex |
27 doc-src/Logics/intro.tex |
28 Doc/Logics/logics.tex |
28 doc-src/Logics/logics.tex |
29 |
29 |
30 - after release: |
30 - after release: |
31 commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
31 commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
32 |
32 |
33 $Id$ |
|