| 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 |