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.
some post-release notes;
authorwenzelm
Thu, 24 May 2012 13:56:21 +0200
changeset 47977 455a9f89c47d
parent 47976 6b13451135a9
child 47978 f8f503a1782a
child 47981 df35a8dd6368
child 47982 7aa35601ff65
some post-release notes;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Wed May 23 21:19:48 2012 +0200
+++ b/Admin/CHECKLIST	Thu May 24 13:56:21 2012 +0200
@@ -73,3 +73,9 @@
 - isatest@macbroy28:hg-isabelle/.hg/hgrc
 - isatest@macbroy28:devel-page/content/index.content
 
+
+Post-release
+============
+
+- update /home/isabelle and /home/isabelle/html-data
+
isabelle