src/Pure/ML/ml_heap.ML
2016-04-02 wenzelm 2016-04-02 structure PolyML is sealed after bootstrap: all ML system access is managed by Isabelle;
2016-03-15 wenzelm 2016-03-15 ML save_state under control of Isabelle/Scala;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;