| Wed, 18 Sep 2013 13:18:51 +0200 | wenzelm | improved printing of exception trace in Poly/ML 5.5.1; | file | diff | annotate |
| Wed, 11 Sep 2013 11:34:27 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Wed, 10 Jul 2013 22:56:48 +0200 | wenzelm | explicit shutdown of message output thread; | file | diff | annotate |
| Wed, 17 Oct 2012 21:18:32 +0200 | wenzelm | more robust cancel_now: avoid shooting yourself in the foot; | file | diff | annotate |
| Wed, 10 Aug 2011 15:17:24 +0200 | wenzelm | more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning; | file | diff | annotate |
| Thu, 28 Oct 2010 21:51:34 +0200 | wenzelm | tuned white-space; | 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 |