lib/scripts/isabelle-platform
Sat, 24 Nov 2012 12:39:58 +0100 wenzelm added ISABELLE_PLATFORM_FAMILY;
Mon, 23 Jul 2012 21:01:16 +0200 wenzelm provide explicit ISABELLE_PLATFORM32 as well;
less more (0) -2 tip