Fri, 11 Sep 2015 14:53:05 +0200 more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
wenzelm [Fri, 11 Sep 2015 14:53:05 +0200] rev 61159
more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
Fri, 11 Sep 2015 17:57:34 +0200 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
wenzelm [Fri, 11 Sep 2015 17:57:34 +0200] rev 61158
convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
Fri, 11 Sep 2015 17:48:49 +0200 clarified order;
wenzelm [Fri, 11 Sep 2015 17:48:49 +0200] rev 61157
clarified order;
Fri, 11 Sep 2015 11:12:08 +0200 more symbols;
wenzelm [Fri, 11 Sep 2015 11:12:08 +0200] rev 61156
more symbols;
Thu, 10 Sep 2015 17:52:31 +0200 Unicode is standard in Poly/ML repository version;
wenzelm [Thu, 10 Sep 2015 17:52:31 +0200] rev 61155
Unicode is standard in Poly/ML repository version;
Thu, 10 Sep 2015 17:32:30 +0200 removed obsolete undocumented feature;
wenzelm [Thu, 10 Sep 2015 17:32:30 +0200] rev 61154
removed obsolete undocumented feature;
Thu, 10 Sep 2015 16:44:17 +0200 more standard local_theory operations;
wenzelm [Thu, 10 Sep 2015 16:44:17 +0200] rev 61153
more standard local_theory operations; eliminated slightly odd @{cpat};
Thu, 10 Sep 2015 16:42:01 +0200 HOL-Proofs is slow;
wenzelm [Thu, 10 Sep 2015 16:42:01 +0200] rev 61152
HOL-Proofs is slow;
Thu, 10 Sep 2015 14:18:09 +0200 convenient access to application properties;
wenzelm [Thu, 10 Sep 2015 14:18:09 +0200] rev 61151
convenient access to application properties;
Thu, 10 Sep 2015 14:12:22 +0200 tuned -- avoid slightly odd @{cpat};
wenzelm [Thu, 10 Sep 2015 14:12:22 +0200] rev 61150
tuned -- avoid slightly odd @{cpat};
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip