| Tue, 15 Dec 2009 00:21:21 +0100 | wenzelm | refined treatment of default logic concerning property and GUI; | changeset | files |
| Fri, 11 Dec 2009 23:38:14 +0100 | wenzelm | handle "default" logic; | changeset | files |
| Fri, 11 Dec 2009 23:29:18 +0100 | wenzelm | more serious command line handling; | changeset | files |
| Fri, 11 Dec 2009 22:40:55 +0100 | wenzelm | proper uninstall; | changeset | files |
| Fri, 11 Dec 2009 22:25:28 +0100 | wenzelm | removed unused Session.prover_logic; | changeset | files |
| Thu, 10 Dec 2009 22:15:19 +0100 | wenzelm | class Session models full session, with or without prover process (cf. heaps, browser_info); | changeset | files |
| Thu, 10 Dec 2009 14:23:28 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Dec 2009 14:14:49 +0100 | wenzelm | basic setup for HTML_Panel event handling; | changeset | files |