src/Pure/ML-Systems/exn.ML
Tue, 21 Jul 2009 20:24:02 +0200 wenzelm added flatten/flatten_list -- supercedes internal plain_exns;
Thu, 04 Jun 2009 17:31:38 +0200 wenzelm reraise exceptions to preserve original position (ML system specific);
Mon, 19 Jan 2009 19:38:03 +0100 wenzelm removed Ids;
Thu, 02 Oct 2008 14:22:44 +0200 wenzelm simplified Exn.EXCEPTIONS, flatten nested occurrences;
Wed, 01 Oct 2008 12:00:04 +0200 wenzelm more robust treatment of Interrupt;
Tue, 24 Jul 2007 19:44:33 +0200 wenzelm Runtime exceptions as values (from library.ML);
less more (0) tip