src/Pure/System/invoke_scala.ML
Thu, 22 Jun 2017 14:27:13 +0200 wenzelm more informative task_statistics;
Thu, 03 Mar 2016 15:23:02 +0100 wenzelm clarified modules;
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;
less more (0) -10 -3 tip