| Fri, 05 Jul 2013 23:10:18 +0200 | wenzelm | more uniform Counter in ML and Scala; | file | diff | annotate |
| Wed, 22 May 2013 14:10:45 +0200 | wenzelm | explicit management of Session.Protocol_Handlers, with protocol state and functions; | file | diff | annotate |
| Wed, 02 Jan 2013 13:20:10 +0100 | wenzelm | removed outdated comment; | file | diff | annotate |
| Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |
| Thu, 20 Sep 2012 19:23:05 +0200 | wenzelm | more management of Invoke_Scala tasks; | file | diff | annotate |
| Wed, 05 Sep 2012 20:54:40 +0200 | wenzelm | eliminated potentially confusing terminology of Scala "layer"; | file | diff | annotate |
| Sat, 03 Mar 2012 18:18:39 +0100 | wenzelm | clarified terminology of raw protocol messages; | file | diff | annotate |