* system: support Poly/ML 4.1.1 (large heaps); * system: smart selection of Isabelle process versus Isabelle interface, accomodates case-insensitive file systems (e.g. HFS+);
* system: support Poly/ML 4.1.1 (large heaps);
* system: smart selection of Isabelle process versus Isabelle
interface, accomodates case-insensitive file systems (e.g. HFS+);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle