equal
deleted
inserted
replaced
17 |
17 |
18 - maintain Logics: |
18 - maintain Logics: |
19 Admin/makedist |
19 Admin/makedist |
20 Distribution/build |
20 Distribution/build |
21 Distribution/lib/Tools/makeall |
21 Distribution/lib/Tools/makeall |
22 Distribution/lib/html/index1.html |
22 Distribution/lib/html/index.html |
23 Distribution/lib/html/index2.html |
|
24 Doc/Logics/intro.tex |
23 Doc/Logics/intro.tex |
25 Doc/Logics/logics.tex |
24 Doc/Logics/logics.tex |
26 |
25 |
|
26 - after release: |
|
27 update Admin/page/DISTNAME and Admin/page/Contents in CVS |
|
28 |
27 $Id$ |
29 $Id$ |