| Sat, 03 Oct 2020 19:56:02 +0200 |
wenzelm |
detect/guess arm32 platform (unsupported);
|
file |
diff |
annotate
|
| Wed, 30 Sep 2020 13:20:33 +0000 |
wenzelm |
detect arm64-linux platform;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:24:28 +0100 |
wenzelm |
updated platform situation: 32bit variants are marginal or absent;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 19:49:13 +0200 |
wenzelm |
discontinued rudiments of BSD support;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2017 20:43:21 +0200 |
wenzelm |
basic support for x86_64-cygwin;
|
file |
diff |
annotate
|
| Wed, 01 Mar 2017 11:26:19 +0100 |
wenzelm |
more uniform platform settings;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2017 23:12:52 +0100 |
wenzelm |
more detailed platform information;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2016 21:39:03 +0200 |
wenzelm |
back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2016 21:23:32 +0200 |
wenzelm |
back to static conditional compilation -- simplified bootstrap;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2012 12:39:58 +0100 |
wenzelm |
added ISABELLE_PLATFORM_FAMILY;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 21:01:16 +0200 |
wenzelm |
provide explicit ISABELLE_PLATFORM32 as well;
|
file |
diff |
annotate
|
| Thu, 12 May 2011 16:00:48 +0200 |
wenzelm |
pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 20:20:52 +0200 |
wenzelm |
enable shell script editor mode;
|
file |
diff |
annotate
|
| Tue, 20 Apr 2010 11:31:14 +0200 |
wenzelm |
accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 22:58:29 +0200 |
wenzelm |
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
|
file |
diff |
annotate
|