Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Release/CHECKLIST
changeset 62459 7a5d88dd8cc9
parent 62452 f25b67245699
child 62501 98fa1f9a292f 
--- a/Admin/Release/CHECKLIST	Sun Feb 28 19:56:57 2016 +0100
+++ b/Admin/Release/CHECKLIST	Sun Feb 28 21:20:51 2016 +0100
@@ -5,7 +5,7 @@
 
 - check Admin/components;
 
-- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0;
+- test polyml-5.3.0;
 
 - test 'display_drafts' command;
isabelle