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.
tuned;
authorwenzelm
Thu, 17 Jan 2013 17:47:09 +0100
changeset 50957 1005346154e8
parent 50956 d58dae9079a6
child 50958 af59600d8955
tuned;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Jan 17 17:29:02 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 17 17:47:09 2013 +0100
@@ -11,9 +11,9 @@
 
 - test Proof General 4.1, 3.7.1.1;
 
-- check HTML header of library;
+- test 'display_drafts' command;
 
-- check CTRL-C, SIGINT in tty (also for external processes);
+- check HTML header of library;
 
 - check persistent sessions with PG and Poly/ML 5.x;
isabelle