| Thu, 10 Sep 2015 12:52:24 +0200 | haftmann | unconceal symbols stemming from inductive_set specifications, which are regular part of user-space specification; | changeset | files |
| Fri, 11 Sep 2015 21:44:39 +0200 | wenzelm | fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal; | changeset | files |
| 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 |
| Fri, 11 Sep 2015 17:48:49 +0200 | wenzelm | clarified order; | changeset | files |