| 2011-04-20 | wenzelm | updated reference machines; | file | diff | annotate |
| 2011-01-31 | wenzelm | more platform hints; | file | diff | annotate |
| 2011-01-07 | boehmes | tuned | file | diff | annotate |
| 2010-11-28 | wenzelm | updated reference platforms; | file | diff | annotate |
| 2010-04-19 | wenzelm | some updates on multi-platform support; | file | diff | annotate |
| 2010-03-06 | wenzelm | Some notes on platform support of Isabelle. | file | diff | annotate |