src/Pure/PIDE/session.ML
2014-04-11 ago explicit 'document_files' in session ROOT specifications;
2014-04-10 ago removed obsolete doc_dump option (see also 892061142ba6);
2014-03-31 ago 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 ago clarified module arrangement;