Wed, 23 Apr 2014 12:39:23 +0200 |
wenzelm |
more abstract Exn.Interrupt and POSIX return code;
|
file |
diff |
annotate
|
Sat, 18 May 2013 13:00:05 +0200 |
wenzelm |
discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
|
file |
diff |
annotate
|
Sat, 23 Feb 2013 17:12:48 +0100 |
wenzelm |
more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;
|
file |
diff |
annotate
|
Fri, 07 Dec 2012 16:33:17 +0100 |
wenzelm |
some support to recover from spurious crash -- this is Physics, not Mathematics;
|
file |
diff |
annotate
|
Tue, 24 Jul 2012 17:33:19 +0200 |
wenzelm |
more general notion of user ERROR (cf. 44f56fe01528);
|
file |
diff |
annotate
|
Tue, 24 Jul 2012 14:36:08 +0200 |
wenzelm |
human-readable I/O error;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
Fri, 12 Aug 2011 11:41:26 +0200 |
wenzelm |
clarified Exn.message;
|
file |
diff |
annotate
|
Mon, 11 Jul 2011 23:15:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 11 Jul 2011 22:55:47 +0200 |
wenzelm |
tuned signature -- corresponding to Scala version;
|
file |
diff |
annotate
|
Mon, 11 Jan 2010 20:36:31 +0100 |
wenzelm |
treat *all* JVM throwables as "exceptions", cf. ML version;
|
file |
diff |
annotate
|
Sat, 09 Jan 2010 23:22:56 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Sat, 19 Dec 2009 16:02:26 +0100 |
wenzelm |
added basic library -- Scala version;
|
file |
diff |
annotate
|