Tue, 21 Dec 2010 15:15:55 +0100 | haftmann | tuned names | changeset | files |
Tue, 21 Dec 2010 14:54:23 +0100 | haftmann | renamed mk_id to the more canonical id_const | changeset | files |
Tue, 21 Dec 2010 14:18:45 +0100 | blanchet | merged | changeset | files |
Tue, 21 Dec 2010 13:57:35 +0100 | blanchet | better parsing of options, in case the value has '=' | changeset | files |
Tue, 21 Dec 2010 13:57:19 +0100 | blanchet | show the relation | changeset | files |
Tue, 21 Dec 2010 10:25:17 +0100 | blanchet | merged | changeset | files |