src/Pure/ML/exn_trace_polyml-5.5.1.ML
2014-11-26 ago more informative failure of protocol commands, with exception trace;
2014-03-25 ago more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
2013-09-18 ago improved printing of exception trace in Poly/ML 5.5.1;
2013-08-01 ago exception trace for Poly/ML 5.5.1, using regular Isabelle output;