Admin/Isabelle2005-polyml-5.0/README-polyml-5.0
2006-12-11 wenzelm 2006-12-11 added ProofGeneral settings;
2006-12-07 wenzelm 2006-12-07 Poly/ML 5.0 setup for Isabelle2005.