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.
keep Proof General 4.0 and 3.7.1.1 for now;
authorwenzelm
Mon, 17 Jan 2011 16:57:24 +0100
changeset 41598 2049f179aa21
parent 41597 ced4f78bb728
child 41599 16e290c668ea
keep Proof General 4.0 and 3.7.1.1 for now;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sun Jan 16 21:10:30 2011 +0100
+++ b/Admin/CHECKLIST	Mon Jan 17 16:57:24 2011 +0100
@@ -3,7 +3,7 @@
 
 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General 4.1;
+- test Proof General 4.1, 4.0, 3.7.1.1;
 
 - test Scala wrapper;
isabelle