| Wed, 30 Nov 2022 22:07:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 21:53:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 14:44:22 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 10:49:46 +0100 |
wenzelm |
prefer deterministic result;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
| Mon, 30 May 2022 11:02:13 +0200 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sun, 06 Mar 2022 15:47:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2022 11:15:29 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2022 11:12:26 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 17:11:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 00:38:13 +0100 |
wenzelm |
suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2021 16:45:21 +0200 |
wenzelm |
updated to jEdit plugin Highlight 2.5;
|
file |
diff |
annotate
|
| Mon, 02 Aug 2021 14:08:42 +0200 |
wenzelm |
clarified jEdit java sources;
|
file |
diff |
annotate
|
| Sat, 24 Jul 2021 16:40:10 +0200 |
wenzelm |
clarified properties: "module" and "no_build";
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 21:31:15 +0200 |
wenzelm |
more accurate scala_project, based on build.props of components;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Wed, 14 Jul 2021 11:37:35 +0200 |
wenzelm |
more systematic treatment of encodings;
|
file |
diff |
annotate
|
| Wed, 14 Jul 2021 11:20:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 16:27:35 +0200 |
wenzelm |
clarified component settings;
|
file |
diff |
annotate
|
| Tue, 11 May 2021 11:17:27 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 10 May 2021 22:18:12 +0200 |
wenzelm |
put more resources into jedit_build component;
|
file |
diff |
annotate
|
| Mon, 10 May 2021 12:23:30 +0200 |
wenzelm |
build auxiliary jEdit component in Isabelle/Scala;
|
file |
diff |
annotate
|