Mon, 08 Aug 2022 20:01:18 +0200 |
wenzelm |
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
|
file |
diff |
annotate
|
Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
Wed, 23 Mar 2022 12:02:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 09 Nov 2021 11:23:27 +0100 |
wenzelm |
more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
|
file |
diff |
annotate
|
Wed, 22 Sep 2021 21:20:36 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sat, 24 Jul 2021 19:55:10 +0200 |
wenzelm |
clarified compiler output: allow multithreaded execution;
|
file |
diff |
annotate
|
Sat, 24 Jul 2021 18:01:24 +0200 |
wenzelm |
clarified props: more permissive;
|
file |
diff |
annotate
|
Sat, 24 Jul 2021 17:06:50 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
Sat, 24 Jul 2021 16:40:10 +0200 |
wenzelm |
clarified properties: "module" and "no_build";
|
file |
diff |
annotate
|
Sat, 24 Jul 2021 13:09:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 17 Jul 2021 21:40:57 +0200 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|