Mon, 02 Dec 2019 16:28:23 +0100 clarified name: avoid clashes;
wenzelm [Mon, 02 Dec 2019 16:28:23 +0100] rev 71217
clarified name: avoid clashes;
Mon, 02 Dec 2019 16:15:27 +0100 proper dynamic position of application context, e.g. relevant for 'global_interpretation';
wenzelm [Mon, 02 Dec 2019 16:15:27 +0100] rev 71216
proper dynamic position of application context, e.g. relevant for 'global_interpretation';
Mon, 02 Dec 2019 15:30:17 +0100 proper treatment of variable names;
wenzelm [Mon, 02 Dec 2019 15:30:17 +0100] rev 71215
proper treatment of variable names;
Mon, 02 Dec 2019 15:04:38 +0100 proper spec_rule name via naming/binding/Morphism.binding;
wenzelm [Mon, 02 Dec 2019 15:04:38 +0100] rev 71214
proper spec_rule name via naming/binding/Morphism.binding;
Mon, 02 Dec 2019 13:34:02 +0100 more informative spec rules;
wenzelm [Mon, 02 Dec 2019 13:34:02 +0100] rev 71213
more informative spec rules;
Mon, 02 Dec 2019 13:33:45 +0100 more robust;
wenzelm [Mon, 02 Dec 2019 13:33:45 +0100] rev 71212
more robust;
Mon, 02 Dec 2019 13:03:09 +0100 more informative export;
wenzelm [Mon, 02 Dec 2019 13:03:09 +0100] rev 71211
more informative export;
Mon, 02 Dec 2019 12:03:55 +0100 tuned signature -- following Export_Theory.Spec_Rule in Scala;
wenzelm [Mon, 02 Dec 2019 12:03:55 +0100] rev 71210
tuned signature -- following Export_Theory.Spec_Rule in Scala;
Mon, 02 Dec 2019 11:57:53 +0100 tuned comment;
wenzelm [Mon, 02 Dec 2019 11:57:53 +0100] rev 71209
tuned comment;
Mon, 02 Dec 2019 11:57:42 +0100 clarified export of spec rules: more like locale;
wenzelm [Mon, 02 Dec 2019 11:57:42 +0100] rev 71208
clarified export of spec rules: more like locale;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip