| Mon, 24 Mar 2014 12:00:17 +0100 | wenzelm | discontinued Toplevel.debug in favour of system option "exception_trace"; | file | diff | annotate |
| Sun, 02 Mar 2014 19:45:38 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Wed, 18 Sep 2013 13:18:51 +0200 | wenzelm | improved printing of exception trace in Poly/ML 5.5.1; | file | diff | annotate |
| Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |