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 |