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