Wed, 30 Aug 2017 20:50:45 +0200 | nipkow | merged | changeset | files |
Wed, 30 Aug 2017 18:35:23 +0200 | nipkow | added lemma | changeset | files |
Wed, 30 Aug 2017 15:53:35 +0200 | wenzelm | more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded; | changeset | files |