equal
deleted
inserted
replaced
8 - run tests with all supported ML systems; |
8 - run tests with all supported ML systems; |
9 |
9 |
10 - maintain Docs: |
10 - maintain Docs: |
11 Doc/Contents |
11 Doc/Contents |
12 Distribution/doc/Contents |
12 Distribution/doc/Contents |
13 Admin/index.html |
13 Admin/index.html (? FIXME ?) |
14 |
14 |
15 - maintain Logics: |
15 - maintain Logics: |
16 Admin/makedist |
16 Admin/makedist |
17 Distribution/build |
17 Distribution/build |
18 Distribution/lib/Tools/makeall |
18 Distribution/lib/Tools/makeall |
20 Doc/Logics/intro.tex |
20 Doc/Logics/intro.tex |
21 Doc/Logics/logics.tex |
21 Doc/Logics/logics.tex |
22 |
22 |
23 - after release: |
23 - after release: |
24 commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
24 commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
25 !!! commit new Admin/website/conf/distname.mak to CVS |
|
26 !!! this is currently not part of CVS, so ignore this description; |
|
27 !!! perhaps we will need to add it |
|
28 |
25 |
29 $Id$ |
26 $Id$ |