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.
obsolete -- done by Isabelle/PIDE/ML;
authorwenzelm
Mon, 30 Nov 2020 19:08:58 +0100
changeset 72793 35d200023993
parent 72792 26492b600d78
child 72796 d39a32cff5d7
obsolete -- done by Isabelle/PIDE/ML;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Mon Nov 30 17:10:49 2020 +0100
+++ b/Admin/Release/CHECKLIST	Mon Nov 30 19:08:58 2020 +0100
@@ -45,8 +45,6 @@
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- check "Handler catches all exceptions"
-
 - test old HD display: Linux, Windows, Mac OS X;
 
 - Mac OS X: check recent MacTeX;
isabelle