src/Pure/ML-Systems/multithreading_polyml.ML
Wed, 16 Jan 2013 11:31:08 +0100 wenzelm tuned comments;
Sun, 18 Nov 2012 15:38:37 +0100 wenzelm adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
Wed, 22 Aug 2012 12:07:11 +0200 wenzelm clarified bootstrapping of Pure;
Thu, 24 May 2012 15:01:17 +0200 wenzelm discontinued support for Poly/ML 5.2.1;
Mon, 11 Jul 2011 22:55:47 +0200 wenzelm tuned signature -- corresponding to Scala version;
Tue, 08 Feb 2011 14:09:24 +0100 wenzelm added Multithreading.interrupted (cf. java.lang.Thread.interrupted);
Sat, 05 Feb 2011 18:09:57 +0100 wenzelm clarified bootstrapping of structure TimeLimit;
Sat, 27 Nov 2010 16:29:53 +0100 wenzelm removed bash from ML system bootstrap, and past the Secure ML barrier;
Tue, 02 Nov 2010 20:55:12 +0100 wenzelm simplified some time constants;
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Wed, 22 Sep 2010 00:45:42 +0200 wenzelm more robust lib/scripts/process, with explicit script/no_script mode;
Mon, 20 Sep 2010 23:36:26 +0200 wenzelm refined ML/Scala bash wrapper, based on more general lib/scripts/process;
Thu, 09 Sep 2010 17:20:27 +0200 wenzelm more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally;
Sun, 07 Feb 2010 20:21:38 +0100 wenzelm modernized perl scripts: prefer standalone executables;
Sat, 06 Feb 2010 14:50:55 +0100 wenzelm renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
less more (0) -15 tip