| Tue, 27 Jan 2009 18:15:11 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 27 Jan 2009 17:22:55 +0100 | wenzelm | Prover.start: determine logic in one place; | changeset | files |
| Tue, 27 Jan 2009 16:16:55 +0100 | wenzelm | more explicit indication of mutable collections; | changeset | files |