| #
d3163a87 |
|
10-Mar-2020 |
wenzelm <none@none> |
standard tests for macOS 10.15 Catalina;
|
| #
3c4730d4 |
|
23-Jan-2019 |
wenzelm <none@none> |
updated x86_64-linux base line;
|
| #
a9c79b14 |
|
16-Nov-2018 |
wenzelm <none@none> |
renovated macOS tests;
|
| #
2ce602e7 |
|
05-Nov-2018 |
wenzelm <none@none> |
renovated macOS tests;
|
| #
24bf6b4a |
|
21-Oct-2018 |
wenzelm <none@none> |
updated PLATFORMS;
|
| #
9e34211d |
|
04-Jun-2018 |
wenzelm <none@none> |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
record cygwin mirror explicitly;
|
| #
c78a3203 |
|
18-Apr-2018 |
wenzelm <none@none> |
misc tuning and clarification;
|
| #
42eb9f6b |
|
20-Dec-2017 |
wenzelm <none@none> |
tuned;
|
| #
e691b6f1 |
|
25-Nov-2017 |
wenzelm <none@none> |
Mac OS X 10.10 Yosemite is baseline;
|
| #
202596c3 |
|
24-Oct-2017 |
wenzelm <none@none> |
misc tuning and modernization;
|
| #
07ea9ac7 |
|
23-Oct-2017 |
wenzelm <none@none> |
obsolete;
|
| #
cc4c53de |
|
30-Sep-2017 |
wenzelm <none@none> |
more and updated documentation;
|
| #
51d62677 |
|
30-Sep-2017 |
wenzelm <none@none> |
x86-cygwin for tools is no longer supported;
|
| #
967afcdd |
|
25-Sep-2017 |
wenzelm <none@none> |
basic support for x86_64-cygwin;
|
| #
c5a6061d |
|
28-Aug-2017 |
wenzelm <none@none> |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
| #
d0c01295 |
|
04-Apr-2017 |
wenzelm <none@none> |
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
|
| #
374519aa |
|
01-Mar-2017 |
wenzelm <none@none> |
more uniform platform settings;
|
| #
0a7318a5 |
|
26-Oct-2016 |
wenzelm <none@none> |
more specific hardware information: relevant for ultimate Mac OS X version;
|
| #
6a4cfa8f |
|
26-Oct-2016 |
wenzelm <none@none> |
latest Mac OS X versions *are* still supported, but presently without formal reference systems;
|
| #
651f36d7 |
|
24-Oct-2016 |
wenzelm <none@none> |
version provided by web server;
|
| #
71bcdd66 |
|
22-Oct-2016 |
wenzelm <none@none> |
pro-forma update to cygwin_2016-1 (web service still missing);
|
| #
fad635f0 |
|
21-Oct-2016 |
wenzelm <none@none> |
misc tuning and updates;
|
| #
d7df78a5 |
|
21-Oct-2016 |
wenzelm <none@none> |
speculative support for latest Mac OS X versions -- no reference systems yet;
|
| #
0a43db0c |
|
19-Jul-2016 |
wenzelm <none@none> |
Linux platform base-line is Ubuntu 12.04 LTS;
|
| #
01d3d2dc |
|
31-Dec-2015 |
wenzelm <none@none> |
tuned;
|
| #
ac1319ba |
|
23-Nov-2015 |
wenzelm <none@none> |
updated platform baseline to Mac OS X 10.8 Mountain Lion;
|
| #
9eca96a0 |
|
30-Sep-2015 |
wenzelm <none@none> |
renamed jvmpath to platform_path;
|
| #
b2f72308 |
|
22-Nov-2014 |
wenzelm <none@none> |
isatest for Mac OS X Yosemite;
|
| #
3bf8a494 |
|
24-Oct-2014 |
wenzelm <none@none> |
discontinued python from standard system environment;
|
| #
f5122959 |
|
12-Feb-2014 |
wenzelm <none@none> |
more platform notes;
|
| #
86d3157d |
|
10-Feb-2014 |
wenzelm <none@none> |
Mac OS X Lion (macbroy6) is baseline for portable executables;
fringe platforms are unsupported;
|
| #
3bb6c1c2 |
|
05-Sep-2012 |
wenzelm <none@none> |
misc tuning;
|
| #
889a2253 |
|
17-Aug-2012 |
wenzelm <none@none> |
tuned;
|
| #
ee3bcecc |
|
17-Aug-2012 |
wenzelm <none@none> |
updates on 32 bit vs. 64 bit platforms;
added Mountain Lion;
dropped Leopard;
tuned;
|
| #
0d9d2bb8 |
|
28-Dec-2011 |
wenzelm <none@none> |
updated platform information;
|
| #
28ea935c |
|
18-Sep-2011 |
wenzelm <none@none> |
more Mac OS reference hardware;
|
| #
bba3c747 |
|
11-Sep-2011 |
wenzelm <none@none> |
some updates of PLATFORMS;
|
| #
eed14688 |
|
20-Apr-2011 |
wenzelm <none@none> |
updated reference machines;
|
| #
92b1f8a4 |
|
31-Jan-2011 |
wenzelm <none@none> |
more platform hints;
|
| #
bb6eb5c0 |
|
07-Jan-2011 |
boehmes <none@none> |
tuned
|
| #
0535efa6 |
|
28-Nov-2010 |
wenzelm <none@none> |
updated reference platforms;
|
| #
4bdfc0e6 |
|
19-Apr-2010 |
wenzelm <none@none> |
some updates on multi-platform support;
|
| #
dba93483 |
|
06-Mar-2010 |
wenzelm <none@none> |
Some notes on platform support of Isabelle.
|