Admin/PLATFORMS
2014-10-24 wenzelm discontinued python from standard system environment;
2014-02-12 wenzelm more platform notes;
2014-02-11 wenzelm Mac OS X Lion (macbroy6) is baseline for portable executables;
2012-09-05 wenzelm misc tuning;
2012-08-17 wenzelm tuned;
2012-08-17 wenzelm updates on 32 bit vs. 64 bit platforms;
2011-12-28 wenzelm updated platform information;
2011-09-18 wenzelm more Mac OS reference hardware;
2011-09-11 wenzelm some updates of PLATFORMS;
2011-04-20 wenzelm updated reference machines;
2011-01-31 wenzelm more platform hints;
2011-01-07 boehmes tuned
2010-11-28 wenzelm updated reference platforms;
2010-04-19 wenzelm some updates on multi-platform support;
2010-03-06 wenzelm Some notes on platform support of Isabelle.
less more (0) tip