src/Pure/PIDE/resources.ML
2014-04-30 ago clarified signature: load_file is still required internally;
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-26 ago prefer Context_Position where a context is available;
2014-03-26 ago superseded by (provide_)parse_files;
2014-03-18 ago clarifed module name;