| Mon, 02 Dec 2019 16:28:23 +0100 | wenzelm | clarified name: avoid clashes; | changeset | files |
| Mon, 02 Dec 2019 16:15:27 +0100 | wenzelm | proper dynamic position of application context, e.g. relevant for 'global_interpretation'; | changeset | files |
| Mon, 02 Dec 2019 15:30:17 +0100 | wenzelm | proper treatment of variable names; | changeset | files |
| Mon, 02 Dec 2019 15:04:38 +0100 | wenzelm | proper spec_rule name via naming/binding/Morphism.binding; | changeset | files |
| Mon, 02 Dec 2019 13:34:02 +0100 | wenzelm | more informative spec rules; | changeset | files |
| Mon, 02 Dec 2019 13:33:45 +0100 | wenzelm | more robust; | changeset | files |
| Mon, 02 Dec 2019 13:03:09 +0100 | wenzelm | more informative export; | changeset | files |