Admin/isatest/settings/at-mac-poly-5.1-para
2009-01-27 wenzelm 2009-01-27 HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;
2009-01-11 wenzelm 2009-01-11 less ambitious ML_OPTIONS;
2009-01-11 wenzelm 2009-01-11 less ambitious ML_OPTIONS;
2009-01-02 wenzelm 2009-01-02 tuned settings;
2008-12-13 wenzelm 2008-12-13 tuned ML_OPTIONS for improved multicore performance;
2008-10-23 wenzelm 2008-10-23 switched parallel sessions to polyml-5.2.1;
2008-10-08 wenzelm 2008-10-08 use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;
2008-06-06 wenzelm 2008-06-06 switched to Poly/ML 5.2;
2008-03-26 kleing 2008-03-26 use poly-cvs as name
2008-03-24 wenzelm 2008-03-24 replaced obsolete /usr/proj by /home;
2008-03-06 wenzelm 2008-03-06 removed obsolete THIS_IS_ISABELLE_BUILD feature;
2008-01-03 wenzelm 2008-01-03 another attempt to disable documents;
2008-01-02 wenzelm 2008-01-02 setting -H 2000 and no documents for higher performance;
2007-12-27 wenzelm 2007-12-27 use polyml-cvs, the 5.2 development branch;
2007-12-05 kleing 2007-12-05 make mac-poly non-experimental