| 2020-10-02 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| 2020-03-10 |
wenzelm |
standard tests for macOS 10.15 Catalina;
|
file |
diff |
annotate
|
| 2019-01-23 |
wenzelm |
updated x86_64-linux base line;
|
file |
diff |
annotate
|
| 2018-11-16 |
wenzelm |
renovated macOS tests;
|
file |
diff |
annotate
|
| 2018-11-05 |
wenzelm |
renovated macOS tests;
|
file |
diff |
annotate
|
| 2018-10-21 |
wenzelm |
updated PLATFORMS;
|
file |
diff |
annotate
|
| 2018-06-04 |
wenzelm |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
|
file |
diff |
annotate
|
| 2018-04-19 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| 2017-12-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2017-11-25 |
wenzelm |
Mac OS X 10.10 Yosemite is baseline;
|
file |
diff |
annotate
|
| 2017-10-24 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| 2017-10-23 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| 2017-09-30 |
wenzelm |
more and updated documentation;
|
file |
diff |
annotate
|
| 2017-09-30 |
wenzelm |
x86-cygwin for tools is no longer supported;
|
file |
diff |
annotate
|
| 2017-09-25 |
wenzelm |
basic support for x86_64-cygwin;
|
file |
diff |
annotate
|
| 2017-08-28 |
wenzelm |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
file |
diff |
annotate
|
| 2017-04-04 |
wenzelm |
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
|
file |
diff |
annotate
|
| 2017-03-01 |
wenzelm |
more uniform platform settings;
|
file |
diff |
annotate
|
| 2016-10-26 |
wenzelm |
more specific hardware information: relevant for ultimate Mac OS X version;
|
file |
diff |
annotate
|
| 2016-10-26 |
wenzelm |
latest Mac OS X versions *are* still supported, but presently without formal reference systems;
|
file |
diff |
annotate
|
| 2016-10-24 |
wenzelm |
version provided by web server;
|
file |
diff |
annotate
|
| 2016-10-22 |
wenzelm |
pro-forma update to cygwin_2016-1 (web service still missing);
|
file |
diff |
annotate
|
| 2016-10-21 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| 2016-10-21 |
wenzelm |
speculative support for latest Mac OS X versions -- no reference systems yet;
|
file |
diff |
annotate
|
| 2016-07-19 |
wenzelm |
Linux platform base-line is Ubuntu 12.04 LTS;
|
file |
diff |
annotate
|
| 2015-12-31 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-11-23 |
wenzelm |
updated platform baseline to Mac OS X 10.8 Mountain Lion;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
renamed jvmpath to platform_path;
|
file |
diff |
annotate
|
| 2014-11-22 |
wenzelm |
isatest for Mac OS X Yosemite;
|
file |
diff |
annotate
|
| 2014-10-24 |
wenzelm |
discontinued python from standard system environment;
|
file |
diff |
annotate
|
| 2014-02-12 |
wenzelm |
more platform notes;
|
file |
diff |
annotate
|
| 2014-02-11 |
wenzelm |
Mac OS X Lion (macbroy6) is baseline for portable executables;
|
file |
diff |
annotate
|
| 2012-09-05 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| 2012-08-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2012-08-17 |
wenzelm |
updates on 32 bit vs. 64 bit platforms;
|
file |
diff |
annotate
|
| 2011-12-28 |
wenzelm |
updated platform information;
|
file |
diff |
annotate
|
| 2011-09-18 |
wenzelm |
more Mac OS reference hardware;
|
file |
diff |
annotate
|
| 2011-09-11 |
wenzelm |
some updates of PLATFORMS;
|
file |
diff |
annotate
|
| 2011-04-20 |
wenzelm |
updated reference machines;
|
file |
diff |
annotate
|
| 2011-01-31 |
wenzelm |
more platform hints;
|
file |
diff |
annotate
|
| 2011-01-07 |
boehmes |
tuned
|
file |
diff |
annotate
|
| 2010-11-28 |
wenzelm |
updated reference platforms;
|
file |
diff |
annotate
|
| 2010-04-19 |
wenzelm |
some updates on multi-platform support;
|
file |
diff |
annotate
|
| 2010-03-06 |
wenzelm |
Some notes on platform support of Isabelle.
|
file |
diff |
annotate
|