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