| Tue, 26 Mar 2024 17:27:35 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2024 21:50:50 +0100 |
wenzelm |
proper os_name "linux" instead of "linux_arm" (amending a33a6e541cbb);
|
file |
diff |
annotate
|
| Wed, 31 Jan 2024 12:43:06 +0100 |
wenzelm |
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
|
file |
diff |
annotate
|
| Tue, 30 Jan 2024 21:20:19 +0100 |
wenzelm |
proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2023 11:19:39 +0100 |
wenzelm |
proper test, following Platform.is_linux;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 14:54:03 +0200 |
wenzelm |
more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases;
|
file |
diff |
annotate
|
| Tue, 11 May 2021 16:30:24 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| Tue, 11 May 2021 13:06:36 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2020 16:31:22 +0200 |
wenzelm |
more systematic platform support, including arm64-linux;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2020 23:31:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 20:00:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 19:54:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 19:49:25 +0200 |
wenzelm |
formal platform information, notably for ssh;
|
file |
diff |
annotate
|