src/Pure/Concurrent/standard_thread.scala
Thu, 05 Jan 2017 22:57:59 +0100 wenzelm more informative error for spurious crash;
less more (0) -1 tip