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 |