src/Pure/PIDE/session.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;
Tue, 18 Mar 2014 18:09:31 +0100 wenzelm clarified module arrangement;
less more (0) tip