isabelle: File revisions

lib/scripts/isabelle-platform

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

isabelle