Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | 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 |
Wed, 11 Apr 2012 13:37:46 +0200 | wenzelm | tuned message; | file | diff | annotate |
Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
Thu, 22 Jul 2010 14:59:27 +0200 | wenzelm | eliminated some unreferenced identifiers; | file | diff | annotate |
Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
Sat, 06 Feb 2010 22:01:48 +0100 | wenzelm | explicit representation of single-assignment variables; | file | diff | annotate |