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