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
|