| Wed, 01 Aug 2007 16:48:47 +0200 | wenzelm | "running": PROTECTED wakeup; | file | diff | annotate |
| Mon, 30 Jul 2007 19:22:27 +0200 | wenzelm | dequeue: wait loop while PROTECTED -- avoids race condition; | file | diff | annotate |
| Sun, 29 Jul 2007 23:27:40 +0200 | wenzelm | tuned msgs; | file | diff | annotate |
| Sun, 29 Jul 2007 22:41:59 +0200 | wenzelm | more informative tracing; | file | diff | annotate |
| Sun, 29 Jul 2007 19:46:04 +0200 | wenzelm | more informative tracing; | file | diff | annotate |
| Sun, 29 Jul 2007 17:28:57 +0200 | wenzelm | critical: improved diagostics; | file | diff | annotate |
| Wed, 25 Jul 2007 22:20:53 +0200 | wenzelm | renamed CRITICAL' to NAMED_CRITICAL; | file | diff | annotate |
| Wed, 25 Jul 2007 17:05:49 +0200 | wenzelm | added trace flag, official tracing operation; | file | diff | annotate |
| Tue, 24 Jul 2007 22:53:48 +0200 | wenzelm | renamed number_of_threads to max_threads; | file | diff | annotate |
| Tue, 24 Jul 2007 19:44:32 +0200 | wenzelm | Multithreading in Poly/ML (version 5.1). | file | diff | annotate |