| Tue, 10 Aug 2010 15:38:33 +0200 | haftmann | different foundations for different targets; simplified syntax handling of abbreviations | changeset | files |
| Wed, 11 Aug 2010 13:30:24 +0800 | Christian Urban | deleted duplicate lemma | changeset | files |
| Tue, 10 Aug 2010 22:26:23 +0200 | ballarin | Revert performance improvement of 8ed3a5fb4d25 since it breaks notes element declarations. | changeset | files |
| Tue, 10 Aug 2010 15:09:39 +0200 | haftmann | basic renumbering | changeset | files |
| Tue, 10 Aug 2010 15:07:39 +0200 | haftmann | avoiding redundant primes | changeset | files |
| Tue, 10 Aug 2010 14:57:58 +0200 | haftmann | separated type from term parameters | changeset | files |
| Tue, 10 Aug 2010 14:53:41 +0200 | haftmann | moved extra_tfrees check for mixfix syntax to Generic_Target | changeset | files |
| Tue, 10 Aug 2010 14:47:22 +0200 | haftmann | name and argument grouping tuning | changeset | files |