| Fri, 28 May 2010 21:17:59 +0200 | wenzelm | eliminated hard tabs; | 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 |
| Mon, 28 Dec 2009 22:04:45 +0100 | wenzelm | Standard_System; | file | diff | annotate |
| Fri, 18 Dec 2009 12:29:30 +0100 | wenzelm | tuned; | 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 16:30:20 +0100 | wenzelm | misc modernization of names; | file | diff | annotate |
| Tue, 08 Dec 2009 14:49:01 +0100 | wenzelm | misc rearrangement of files; | file | diff | annotate | base |