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 |