| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 04 Sep 2017 15:25:25 +0200 | wenzelm | more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache; | file | diff | annotate |
| Wed, 30 Aug 2017 15:53:35 +0200 | wenzelm | more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded; | file | diff | annotate |