| Sat, 01 Aug 2009 00:09:45 +0200 | wenzelm | renamed Multithreading.regular_interrupts to Multithreading.public_interrupts; | file | diff | annotate |
| Sat, 25 Jul 2009 00:53:47 +0200 | wenzelm | tuned tracing; | file | diff | annotate |
| Sat, 25 Jul 2009 00:39:05 +0200 | wenzelm | added Multithreading.real_time; | file | diff | annotate |
| Sat, 25 Jul 2009 00:13:39 +0200 | wenzelm | simplified/unified Multithreading.tracing_time; | file | diff | annotate |
| Sat, 18 Jul 2009 22:45:33 +0200 | wenzelm | synchronized: tuned tracing; | file | diff | annotate |
| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 13 Oct 2008 15:48:39 +0200 | wenzelm | added generic combinator for synchronized evaluation (formerly in future.ML); | file | diff | annotate |
| Thu, 09 Oct 2008 20:53:17 +0200 | wenzelm | added fail-safe interrupt; | file | diff | annotate |
| Tue, 16 Sep 2008 15:37:32 +0200 | wenzelm | Simplified thread fork interface. | file | diff | annotate |