2019-12-03 | wenzelm | clarified position for spec rule: like entity; | changeset | files |
2019-12-02 | wenzelm | clarified name: avoid clashes; | changeset | files |
2019-12-02 | wenzelm | proper dynamic position of application context, e.g. relevant for 'global_interpretation'; | changeset | files |
2019-12-02 | wenzelm | proper treatment of variable names; | changeset | files |
2019-12-02 | wenzelm | proper spec_rule name via naming/binding/Morphism.binding; | changeset | files |
2019-12-02 | wenzelm | more informative spec rules; | changeset | files |
Loading... |