Thu, 06 May 2010 17:09:18 +0200 | haftmann | tuned whitespace | changeset | files |
Thu, 06 May 2010 17:06:47 +0200 | haftmann | tuned headings | changeset | files |
Thu, 06 May 2010 17:02:34 +0200 | haftmann | avoid open | changeset | files |
Thu, 06 May 2010 17:00:46 +0200 | haftmann | tuned internal structure | changeset | files |
Thu, 06 May 2010 16:57:59 +0200 | haftmann | fail on merge of conflicting normalization entries: functions are not mergable | changeset | files |
Thu, 06 May 2010 16:57:28 +0200 | haftmann | more canonical data administration | changeset | files |