| Tue, 10 Aug 2010 14:15:44 +0200 | haftmann | added generic_target.ML | changeset | files |
| Tue, 10 Aug 2010 14:11:28 +0200 | haftmann | try to uniformly follow define/note/abbrev/declaration order as close as possible | changeset | files |
| Tue, 10 Aug 2010 14:06:38 +0200 | haftmann | split off structure Generic_Target into separate file | changeset | files |
| 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 |