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