Fri, 20 Jan 2023 21:19:11 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
Sat, 09 Apr 2022 14:51:54 +0200 |
wenzelm |
tuned --- avoid warnings in scala3;
|
file |
diff |
annotate
|
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
|