| Tue, 19 Sep 2006 23:15:28 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 19 Sep 2006 23:15:26 +0200 | wenzelm | 'print_theory': bang option for full verbosity; | changeset | files |
| Tue, 19 Sep 2006 23:15:24 +0200 | wenzelm | * Pure: 'print_theory' now suppresses entities with internal name; | changeset | files |
| Tue, 19 Sep 2006 23:12:21 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Sep 2006 23:01:52 +0200 | wenzelm | simple html output; | changeset | files |
| Tue, 19 Sep 2006 22:04:38 +0200 | wenzelm | timespan: 100 days; | changeset | files |