| Tue, 25 Mar 2014 19:27:55 +0100 | wenzelm | more warnings for recent versions of Poly/ML (see also fe1f6a1707f7); | 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 |
| Thu, 01 Aug 2013 22:47:52 +0200 | wenzelm | exception trace for Poly/ML 5.5.1, using regular Isabelle output; | file | diff | annotate |