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.
NEWS;
authorwenzelm
Thu, 15 Jul 2021 22:49:24 +0200
changeset 74003 e6e49f9cafd8
parent 74002 f2d16e75bcf1
child 74004 5c8a0580d513
NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Jul 15 22:28:26 2021 +0200
+++ b/NEWS	Thu Jul 15 22:49:24 2021 +0200
@@ -33,6 +33,9 @@
 
 * Support for built-in font substitution of jEdit text area.
 
+* The main plugin for Isabelle/jEdit can be deactivated and reactivated
+as documented --- was broken at least since Isabelle2018.
+
 
 *** Document preparation ***
isabelle