2011-08-18 wenzelm 2011-08-18 more careful treatment of exception serial numbers, with propagation to message channel;
2010-08-30 wenzelm 2010-08-30 more careful treatment of nested multi-exceptions, collapsing cumulatively empty list to Interrupt;
2009-06-06 wenzelm 2009-06-06 added exn_message (formerly in toplevel.ML); eval/code: proper Isar runtime support; tuned signature;
2009-06-04 wenzelm 2009-06-04 added exception_position (dummy);
2009-06-01 wenzelm 2009-06-01 added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);