Sat, 20 Aug 2011 01:39:27 +0200 | haftmann | more uniform formatting of specifications | changeset | files |
Sat, 20 Aug 2011 01:33:58 +0200 | haftmann | compatibility layer | changeset | files |
Sat, 20 Aug 2011 01:21:22 +0200 | haftmann | merged | changeset | files |