Tue, 10 Aug 2010 13:58:26 +0200 | haftmann | split off generic parts of target implementations into separate structure | changeset | files |
Tue, 10 Aug 2010 13:25:33 +0200 | haftmann | restructured code for `declaration` | changeset | files |
Tue, 10 Aug 2010 09:11:23 +0200 | haftmann | executable relation operations contributed by Tjark Weber | changeset | files |
Mon, 09 Aug 2010 16:56:00 +0200 | haftmann | factored out foundation of `define` into separate function | changeset | files |
Mon, 09 Aug 2010 16:30:23 +0200 | haftmann | combine declaration and definition of foundation constant | changeset | files |
Mon, 09 Aug 2010 15:51:27 +0200 | haftmann | more appropriate outline of `define` | changeset | files |