src/Pure/General/exn.ML
Tue, 20 Sep 2016 22:29:51 +0200 wenzelm avoid old SML90;
Sat, 09 Apr 2016 14:00:23 +0200 wenzelm clarified bootstrap;
Sat, 02 Apr 2016 21:55:32 +0200 wenzelm tuned signature;
Thu, 03 Mar 2016 21:59:21 +0100 wenzelm discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
Tue, 01 Sep 2015 23:10:23 +0200 wenzelm thread context for exceptions from forks, e.g. relevant when printing errors;
Wed, 23 Apr 2014 12:39:23 +0200 wenzelm more abstract Exn.Interrupt and POSIX return code;
Tue, 22 Apr 2014 11:53:05 +0200 wenzelm tuned -- avoid warning about catch-all handler;
Wed, 17 Aug 2011 22:14:22 +0200 wenzelm more systematic handling of parallel exceptions;
Wed, 17 Aug 2011 20:08:36 +0200 wenzelm tuned signature;
Fri, 12 Aug 2011 11:41:26 +0200 wenzelm clarified Exn.message;
Mon, 11 Jul 2011 22:55:47 +0200 wenzelm tuned signature -- corresponding to Scala version;
Thu, 23 Jun 2011 23:05:38 +0200 wenzelm clarified EXCEPTIONS [] (cf. Exn.is_interrupt and Runtime.exn_message);
Tue, 05 Apr 2011 13:07:40 +0200 wenzelm more precise propagation of reports/results through some inner syntax layers;
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;
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);
Thu, 16 Sep 2010 16:51:33 +0200 haftmann Exn.map_result
Thu, 09 Sep 2010 17:38:45 +0200 wenzelm Exn.is_interrupt: include interrupts that have passed through the IO layer;
Thu, 09 Sep 2010 17:20:27 +0200 wenzelm more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally;
Sat, 19 Dec 2009 16:02:26 +0100 wenzelm added basic library -- Scala version;
less more (0) tip