| Mon, 10 May 2021 14:28:37 +0200 |
wenzelm |
proper condition: z3 could be absent, e.g. on arm64-linux;
|
changeset |
files
|
| Mon, 10 May 2021 12:23:30 +0200 |
wenzelm |
build auxiliary jEdit component in Isabelle/Scala;
|
changeset |
files
|
| Sat, 08 May 2021 13:06:30 +0200 |
wenzelm |
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
|
changeset |
files
|
| Sat, 08 May 2021 00:31:51 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 07 May 2021 23:56:18 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 07 May 2021 21:03:20 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 09 May 2021 05:48:50 +0000 |
haftmann |
more elementary swap
|
changeset |
files
|
| Fri, 07 May 2021 16:49:08 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Fri, 07 May 2021 16:45:49 +0200 |
wenzelm |
misc updates and clarification;
|
changeset |
files
|
| Fri, 07 May 2021 16:44:39 +0200 |
wenzelm |
clarified file name;
|
changeset |
files
|
| Fri, 07 May 2021 13:37:48 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 07 May 2021 13:34:01 +0200 |
wenzelm |
updated to polyml-5.8.2 (official release);
|
changeset |
files
|
| Fri, 07 May 2021 13:17:29 +0200 |
wenzelm |
clarified default_platform_families (again);
|
changeset |
files
|
| Fri, 07 May 2021 13:16:50 +0200 |
wenzelm |
proper option for linux_arm;
|
changeset |
files
|
| Fri, 07 May 2021 12:43:03 +0200 |
wenzelm |
proper "$?";
|
changeset |
files
|
| Thu, 06 May 2021 23:28:30 +0200 |
wenzelm |
proper jvm_platform, notably for org.sqlite.lib.path;
|
changeset |
files
|