src/Pure/PIDE/resources.ML
Mon, 31 Mar 2014 10:28:08 +0200 wenzelm 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;
Wed, 26 Mar 2014 14:41:52 +0100 wenzelm prefer Context_Position where a context is available;
Wed, 26 Mar 2014 09:07:31 +0100 wenzelm superseded by (provide_)parse_files;
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
less more (0) tip