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