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.
more notes on final release stage;
authorwenzelm
Tue, 18 Jan 2011 11:42:11 +0100
changeset 41608 5a3696574ebb
parent 41607 351aa5f7d130
child 41609 f471a2fb9a95
more notes on final release stage;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Mon Jan 17 23:04:35 2011 +0100
+++ b/Admin/CHECKLIST	Tue Jan 18 11:42:11 2011 +0100
@@ -57,3 +57,5 @@
 
 - makedist: REPOS_NAME="isabelle-release"
 
+- isatest@macbroy28:devel-page/content/index.content
+
isabelle