| Wed, 28 Apr 2010 10:31:15 +0200 | krauss | function: sane interface for programmatic use | changeset | files |
| Wed, 28 Apr 2010 09:48:22 +0200 | krauss | ML interface uses plain command names, following conventions from typedef | changeset | files |
| Wed, 28 Apr 2010 09:21:48 +0200 | krauss | function: better separate Isar integration from actual functionality | changeset | files |
| Thu, 29 Apr 2010 07:02:22 +0200 | haftmann | merged | changeset | files |