Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated, added Admin/page after-release maintenance
authorkleing
Fri, 22 Apr 2005 01:38:13 +0200
changeset 15808 cbe7ec0cdeb9
parent 15807 98bff95f88ba
child 15809 3355abbeced1
updated, added Admin/page after-release maintenance
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Fri Apr 22 00:34:15 2005 +0200
+++ b/Admin/CHECKLIST	Fri Apr 22 01:38:13 2005 +0200
@@ -19,9 +19,11 @@
     Admin/makedist
     Distribution/build
     Distribution/lib/Tools/makeall
-    Distribution/lib/html/index1.html
-    Distribution/lib/html/index2.html
+    Distribution/lib/html/index.html
     Doc/Logics/intro.tex
     Doc/Logics/logics.tex
 
+- after release: 
+  update Admin/page/DISTNAME and Admin/page/Contents in CVS
+
 $Id$
isabelle