20 months ago wenzelm 2017-09-30 discontinued rudiments of BSD support; tuned comments;
20 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
2017-03-01 wenzelm 2017-03-01 more uniform platform settings;
2017-02-28 wenzelm 2017-02-28 more detailed platform information;
2016-04-07 wenzelm 2016-04-07 back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
2016-04-05 wenzelm 2016-04-05 back to static conditional compilation -- simplified bootstrap;
2012-11-24 wenzelm 2012-11-24 added ISABELLE_PLATFORM_FAMILY;
2012-07-23 wenzelm 2012-07-23 provide explicit ISABELLE_PLATFORM32 as well; discontinued some obsolete platforms; explicit error for unknown platform;
2011-05-12 wenzelm 2011-05-12 pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
2010-05-20 wenzelm 2010-05-20 enable shell script editor mode;
2010-04-20 wenzelm 2010-04-20 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
2010-04-17 wenzelm 2010-04-17 added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;