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 CHECKLIST;
authorwenzelm
Mon, 16 Sep 2013 13:22:02 +0200
changeset 53660 c6554160b9ea
parent 53659 85ae414b0363
child 53661 7b4cefeb87d8
more CHECKLIST;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Mon Sep 16 13:11:32 2013 +0200
+++ b/Admin/Release/CHECKLIST	Mon Sep 16 13:22:02 2013 +0200
@@ -7,7 +7,9 @@
 
 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
 
-- test Proof General 4.1, 3.7.1.1;
+- test Isabelle/jEdit on single-core;
+
+- test Isabelle/jEdit on airy device;
 
 - test 'display_drafts' command;
isabelle