Wed, 30 Aug 2017 15:53:35 +0200 | wenzelm | more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded; | changeset | files |
Tue, 29 Aug 2017 20:34:43 +0100 | paulson | correction to my previous commit | changeset | files |
Tue, 29 Aug 2017 17:41:27 +0100 | paulson | merged | changeset | files |