Wed, 16 Dec 2009 21:11:04 +0100 | wenzelm | explicit object Session.Global_Settings; | file | diff | annotate |
Fri, 11 Dec 2009 23:29:18 +0100 | wenzelm | more serious command line handling; | file | diff | annotate |
Fri, 11 Dec 2009 22:25:28 +0100 | wenzelm | removed unused Session.prover_logic; | 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 |