| Thu, 01 Oct 2009 00:32:00 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Wed, 30 Sep 2009 23:49:53 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 30 Sep 2009 23:44:23 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 30 Sep 2009 23:30:37 +0200 | wenzelm | Sorts.of_sort_derivation: no pp here; | changeset | files |
| Wed, 30 Sep 2009 23:28:54 +0200 | wenzelm | eliminated redundant bindings; | changeset | files |
| Wed, 30 Sep 2009 23:16:15 +0200 | wenzelm | actually perform Isar_Document.init on startup; | changeset | files |
| Wed, 30 Sep 2009 23:13:18 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 30 Sep 2009 22:53:33 +0200 | wenzelm | removed dead code; | changeset | files |