#
4fa08915 |
|
30-Sep-2017 |
wenzelm <none@none> |
discontinued rudiments of BSD support; tuned comments;
|
#
967afcdd |
|
25-Sep-2017 |
wenzelm <none@none> |
basic support for x86_64-cygwin;
|
#
374519aa |
|
01-Mar-2017 |
wenzelm <none@none> |
more uniform platform settings;
|
#
95e92687 |
|
28-Feb-2017 |
wenzelm <none@none> |
more detailed platform information;
|
#
329e641f |
|
07-Apr-2016 |
wenzelm <none@none> |
back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
|
#
58cf84e0 |
|
05-Apr-2016 |
wenzelm <none@none> |
back to static conditional compilation -- simplified bootstrap;
|
#
31fadaed |
|
23-Nov-2012 |
wenzelm <none@none> |
added ISABELLE_PLATFORM_FAMILY;
|
#
7da43c1d |
|
23-Jul-2012 |
wenzelm <none@none> |
provide explicit ISABELLE_PLATFORM32 as well; discontinued some obsolete platforms; explicit error for unknown platform;
|
#
4dc52a6f |
|
12-May-2011 |
wenzelm <none@none> |
pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
|
#
4492b104 |
|
20-May-2010 |
wenzelm <none@none> |
enable shell script editor mode;
|
#
e1e74899 |
|
20-Apr-2010 |
wenzelm <none@none> |
accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
|
#
e36989fc |
|
17-Apr-2010 |
wenzelm <none@none> |
added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
|