Sat, 22 May 2010 20:59:55 +0200 | wenzelm | separate event bus and dockable for raw output (stdout); | file | diff | annotate |
Wed, 19 May 2010 18:05:34 +0200 | wenzelm | show fully detailed protocol messages; | file | diff | annotate |
Sat, 08 May 2010 21:08:30 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Tue, 30 Mar 2010 00:13:27 +0200 | wenzelm | adapted to Scala 2.8.0 Beta 1; | file | diff | annotate |
Wed, 16 Dec 2009 21:11:04 +0100 | wenzelm | explicit object Session.Global_Settings; | file | diff | annotate |
Thu, 10 Dec 2009 22:15:19 +0100 | wenzelm | class Session models full session, with or without prover process (cf. heaps, browser_info); | file | diff | annotate |
Tue, 08 Dec 2009 23:45:42 +0100 | wenzelm | renamed "raw output" to "protocol"; | file | diff | annotate | base |