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;