Fri, 11 Sep 2015 21:27:23 +0200 | wenzelm | single-instance application on Windows; | changeset | files |
Fri, 11 Sep 2015 14:53:05 +0200 | wenzelm | more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin; | changeset | files |
Fri, 11 Sep 2015 17:57:34 +0200 | wenzelm | convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap; | changeset | files |