2010-05-20 | wenzelm | enable shell script editor mode; | file | diff | annotate |
2010-04-20 | wenzelm | accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; | file | diff | annotate |
2010-04-17 | wenzelm | added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; | file | diff | annotate |