Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
Sun, 02 May 2021 20:51:21 +0200 | wenzelm | more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName(); | file | diff | annotate |
Thu, 28 Dec 2017 21:45:28 +0100 | wenzelm | implicit thy_load context for bibtex files; | file | diff | annotate |
Wed, 21 Jun 2017 14:56:44 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 21 Jun 2017 14:06:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 19 Jun 2017 21:15:06 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |