isabelle: File revisions

src/Pure/General/exn.ML

Mon, 11 Jul 2011 22:55:47 +0200	wenzelm	tuned signature -- corresponding to Scala version;	file \| diff \| annotate
Thu, 23 Jun 2011 23:05:38 +0200	wenzelm	clarified EXCEPTIONS [] (cf. Exn.is_interrupt and Runtime.exn_message);	file \| diff \| annotate
Tue, 05 Apr 2011 13:07:40 +0200	wenzelm	more precise propagation of reports/results through some inner syntax layers;	file \| diff \| annotate
Fri, 12 Nov 2010 11:36:01 +0100	wenzelm	treat pervasive "Interrupt" constructor as illegal -- superseded by Exn.Interrupt for internal use and Exn.is_interrupt/Exn.interrupt in user-space;	file \| diff \| annotate
Thu, 28 Oct 2010 21:59:01 +0200	wenzelm	added Exn.interruptible_capture, which reraises interrupts as required by user-code (when Exn.capture is not immediately followed by Exn.release);	file \| diff \| annotate
Thu, 16 Sep 2010 16:51:33 +0200	haftmann	Exn.map_result	file \| diff \| annotate
Thu, 09 Sep 2010 17:38:45 +0200	wenzelm	Exn.is_interrupt: include interrupts that have passed through the IO layer;	file \| diff \| annotate
Thu, 09 Sep 2010 17:20:27 +0200	wenzelm	more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally;	file \| diff \| annotate
Sat, 19 Dec 2009 16:02:26 +0100	wenzelm	added basic library -- Scala version;	file \| diff \| annotate \| base

isabelle