| Wed, 12 Aug 2015 21:38:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 29 Jul 2015 13:34:04 +0200 | wenzelm | separate channel for debugger output; | file | diff | annotate |
| Wed, 29 Jul 2015 11:41:26 +0200 | wenzelm | clarified thread name; | file | diff | annotate |
| Tue, 21 Jul 2015 14:12:45 +0200 | wenzelm | more explicit thread identification; | file | diff | annotate |
| Thu, 29 Jan 2015 15:21:16 +0100 | wenzelm | explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64; | file | diff | annotate |
| Wed, 26 Nov 2014 14:35:55 +0100 | wenzelm | more informative failure of protocol commands, with exception trace; | file | diff | annotate |
| Wed, 26 Nov 2014 11:43:51 +0100 | wenzelm | load simple_thread.ML later, such that it benefits from redefined print_exception_trace; | file | diff | annotate |