lib/scripts/isabelle-platform
2010-05-20 wenzelm enable shell script editor mode;
2010-04-20 wenzelm accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
2010-04-17 wenzelm added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
less more (0) tip