| Tue, 20 Sep 2016 22:29:51 +0200 |
wenzelm |
avoid old SML90;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 14:00:23 +0200 |
wenzelm |
clarified bootstrap;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 21:55:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 21:59:21 +0100 |
wenzelm |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
|
file |
diff |
annotate
| base
|
| Tue, 01 Sep 2015 23:10:23 +0200 |
wenzelm |
thread context for exceptions from forks, e.g. relevant when printing errors;
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 12:39:23 +0200 |
wenzelm |
more abstract Exn.Interrupt and POSIX return code;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 11:53:05 +0200 |
wenzelm |
tuned -- avoid warning about catch-all handler;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 22:14:22 +0200 |
wenzelm |
more systematic handling of parallel exceptions;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 20:08:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 11:41:26 +0200 |
wenzelm |
clarified Exn.message;
|
file |
diff |
annotate
|
| 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
|