| 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 |