| 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 |
| Thu, 10 Dec 2009 13:47:50 +0100 | wenzelm | install_fonts; | changeset | files |
| Tue, 08 Dec 2009 23:45:42 +0100 | wenzelm | renamed "raw output" to "protocol"; | changeset | files |