src/Pure/General/exn.scala
2015-11-03 wenzelm 2015-11-03 tuned;
2015-03-14 wenzelm 2015-03-14 value-oriented user error, for well-defined Thy_Syntax.chop_common;
2015-03-14 wenzelm 2015-03-14 more explicit exception User_Error, with value-oriented equality;
2014-12-12 wenzelm 2014-12-12 tuned;
2014-12-11 wenzelm 2014-12-11 added Par_List in Scala, in accordance to ML version; system property "isabelle.threads" determines size of Scala thread pool, like system option "threads" for ML; avoid ".par" framework with its hard-wired thread pool, which also has problems with cancellation; tuned;
2014-07-31 wenzelm 2014-07-31 more general notion of "user error" including empty message -- NB: Output.error_message needs non-empty string to emit anything;
2014-05-05 wenzelm 2014-05-05 more robust process kill -- postpone interrupts on current thread;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-23 wenzelm 2014-04-23 explicit Exn.error_message in accordance to Output.error_message in ML;
2014-04-23 wenzelm 2014-04-23 detect nested interrupts;
2014-04-23 wenzelm 2014-04-23 more abstract Exn.Interrupt and POSIX return code;
2013-05-18 wenzelm 2013-05-18 discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-02-23 wenzelm 2013-02-23 more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;
2012-12-07 wenzelm 2012-12-07 some support to recover from spurious crash -- this is Physics, not Mathematics;
2012-07-24 wenzelm 2012-07-24 more general notion of user ERROR (cf. 44f56fe01528);
2012-07-24 wenzelm 2012-07-24 human-readable I/O error;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-08-12 wenzelm 2011-08-12 clarified Exn.message;
2011-07-11 wenzelm 2011-07-11 tuned;
2011-07-11 wenzelm 2011-07-11 tuned signature -- corresponding to Scala version;
2010-01-11 wenzelm 2010-01-11 treat *all* JVM throwables as "exceptions", cf. ML version;
2010-01-09 wenzelm 2010-01-09 misc tuning;
2009-12-19 wenzelm 2009-12-19 added basic library -- Scala version; added extra support for exceptions -- Scala version; moved exn.ML to accompany exn.scala;