| 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 |