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 tests;
authorwenzelm
Thu, 15 Jul 2021 22:14:11 +0200
changeset 74001 118057a1093b
parent 74000 4313e6c9969a
child 74002 f2d16e75bcf1
more tests;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Jul 15 22:09:45 2021 +0200
+++ b/Admin/Release/CHECKLIST	Thu Jul 15 22:14:11 2021 +0200
@@ -15,6 +15,8 @@
 
 - test Isabelle/jEdit: print buffer
 
+- test Isabelle/jEdit: deactivate main plugin;
+
 - test "#!/usr/bin/env isabelle_scala_script";
 
 - test Windows 10 subsystem for Linux:
isabelle