| 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 |