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 |
Thu, 06 May 2010 16:53:35 +0200 | haftmann | removed former algebra presimpset entirely | changeset | files |
Thu, 06 May 2010 16:50:26 +0200 | haftmann | removed former algebra presimpset from accessor | changeset | files |
Thu, 06 May 2010 16:41:14 +0200 | haftmann | removed former algebra presimpset from signature | changeset | files |