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.
updates for release;
authorwenzelm
Sun, 11 Sep 2011 15:20:09 +0200
changeset 44878 1cbe20966cdb
parent 44877 a4761fc03ee7
child 44879 3b6613366dd7
child 44883 a7f9c97378b3
updates for release;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sun Sep 11 14:58:52 2011 +0200
+++ b/Admin/CHECKLIST	Sun Sep 11 15:20:09 2011 +0200
@@ -38,7 +38,7 @@
 Packaging
 =========
 
-- makedist -r DISTNAME
+- makedist -j jedit_build-XXXX -r DISTNAME
 
 - makebin (multiplatform);
isabelle