| 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
|