Sat, 19 Apr 2014 18:37:41 +0200 removed odd context argument: Thy_Info.get_theory does not fit into PIDE document model;
wenzelm [Sat, 19 Apr 2014 18:37:41 +0200] rev 56621
removed odd context argument: Thy_Info.get_theory does not fit into PIDE document model;
Sat, 19 Apr 2014 17:33:51 +0200 obsolete for release;
wenzelm [Sat, 19 Apr 2014 17:33:51 +0200] rev 56620
obsolete for release;
Sat, 19 Apr 2014 17:28:07 +0200 obsolete since polyml-5.5.0;
wenzelm [Sat, 19 Apr 2014 17:28:07 +0200] rev 56619
obsolete since polyml-5.5.0;
Sat, 19 Apr 2014 17:23:05 +0200 added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
wenzelm [Sat, 19 Apr 2014 17:23:05 +0200] rev 56618
added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
Thu, 17 Apr 2014 14:52:23 +0200 reintroduced process interrupt for the sake of synchronous protocol commands like "use_theories" (see also 27930cf6f0f7);
wenzelm [Thu, 17 Apr 2014 14:52:23 +0200] rev 56617
reintroduced process interrupt for the sake of synchronous protocol commands like "use_theories" (see also 27930cf6f0f7);
Thu, 17 Apr 2014 13:21:36 +0200 added protocol command "use_theories", with core functionality of batch build;
wenzelm [Thu, 17 Apr 2014 13:21:36 +0200] rev 56616
added protocol command "use_theories", with core functionality of batch build;
Thu, 17 Apr 2014 12:03:15 +0200 tuned comments;
wenzelm [Thu, 17 Apr 2014 12:03:15 +0200] rev 56615
tuned comments;
Thu, 17 Apr 2014 11:42:36 +0200 tuned;
wenzelm [Thu, 17 Apr 2014 11:42:36 +0200] rev 56614
tuned;
Thu, 17 Apr 2014 11:31:46 +0200 tuned option name;
wenzelm [Thu, 17 Apr 2014 11:31:46 +0200] rev 56613
tuned option name;
Thu, 17 Apr 2014 11:29:15 +0200 tuned;
wenzelm [Thu, 17 Apr 2014 11:29:15 +0200] rev 56612
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip