isabelle: File revisions

src/Pure/ML/ml_compiler.ML

Wed, 18 Sep 2013 13:18:51 +0200	wenzelm	improved printing of exception trace in Poly/ML 5.5.1;	file \| diff \| annotate
Mon, 08 Apr 2013 17:10:49 +0200	wenzelm	prefer pretty_exn where possible -- NB: low-level General.exnMessage may still be used elsewhere (e.g. by the ML compiler itself);	file \| diff \| annotate
Tue, 26 Feb 2013 19:58:27 +0100	wenzelm	tuned signature;	file \| diff \| annotate
Wed, 16 Jan 2013 20:41:29 +0100	wenzelm	identify future results more carefully, to avoid odd duplication of error messages, notably from forked goals;	file \| diff \| annotate
Thu, 18 Aug 2011 17:53:32 +0200	wenzelm	more careful treatment of exception serial numbers, with propagation to message channel;	file \| diff \| annotate
Mon, 30 Aug 2010 15:09:20 +0200	wenzelm	more careful treatment of nested multi-exceptions, collapsing cumulatively empty list to Interrupt;	file \| diff \| annotate
Sat, 06 Jun 2009 21:11:23 +0200	wenzelm	added exn_message (formerly in toplevel.ML);	file \| diff \| annotate
Thu, 04 Jun 2009 17:31:38 +0200	wenzelm	added exception_position (dummy);	file \| diff \| annotate
Mon, 01 Jun 2009 23:28:06 +0200	wenzelm	added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);	file \| diff \| annotate

isabelle