| Wed, 23 Mar 2022 11:40:34 +0100 |
wenzelm |
proper usage;
|
file |
diff |
annotate
|
| Sun, 18 Jul 2021 13:27:23 +0200 |
wenzelm |
clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 21:40:57 +0200 |
wenzelm |
clarified directories;
|
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
|
| Sun, 11 Jul 2021 16:57:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 09 Jul 2021 14:41:22 +0200 |
wenzelm |
clarified javac options;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 13:16:31 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 07 Jul 2021 14:32:43 +0200 |
wenzelm |
invoke Scala compiler from Java, without external process;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2021 23:27:43 +0200 |
wenzelm |
support for Isabelle/Scala in pure Java;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2021 14:06:20 +0200 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|