src/Pure/PIDE/session.ML
2014-07-24 wenzelm 2014-07-24 further distinction of Isabelle distribution: alert for identified release candidates;
2014-04-11 wenzelm 2014-04-11 explicit 'document_files' in session ROOT specifications; clarified Isabelle_System.copy_file(_base): preserve file-attributes and local directory hierarchy;
2014-04-10 wenzelm 2014-04-10 removed obsolete doc_dump option (see also 892061142ba6);
2014-03-31 wenzelm 2014-03-31 support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
2014-03-18 wenzelm 2014-03-18 clarified module arrangement;