Admin/PLATFORMS
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