| 2014-02-12 | wenzelm | more platform notes; | file | diff | annotate |
| 2014-02-11 | wenzelm | Mac OS X Lion (macbroy6) is baseline for portable executables; | file | diff | annotate |
| 2012-09-05 | wenzelm | misc tuning; | file | diff | annotate |
| 2012-08-17 | wenzelm | tuned; | file | diff | annotate |
| 2012-08-17 | wenzelm | updates on 32 bit vs. 64 bit platforms; | file | diff | annotate |
| 2011-12-28 | wenzelm | updated platform information; | file | diff | annotate |
| 2011-09-18 | wenzelm | more Mac OS reference hardware; | file | diff | annotate |
| 2011-09-11 | wenzelm | some updates of PLATFORMS; | file | diff | annotate |
| 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 |