| Sat, 03 Mar 2012 18:18:39 +0100 | wenzelm | clarified terminology of raw protocol messages; | file | diff | annotate |
| Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | file | diff | annotate |
| Fri, 19 Aug 2011 14:01:20 +0200 | wenzelm | Future.promise: explicit abort operation (like uninterruptible future job); | file | diff | annotate |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Mon, 11 Jul 2011 17:10:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 11 Jul 2011 16:48:02 +0200 | wenzelm | JVM method invocation service via Scala layer; | file | diff | annotate |