| Thu, 05 Oct 2017 14:58:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Oct 2017 15:35:24 +0100 | paulson | new theorem at_within_cbox_finite | changeset | files |
| Wed, 04 Oct 2017 20:16:53 +0200 | wenzelm | process ROOT files only once, which allows duplicate (or overlapping) session root directories; | changeset | files |
| Tue, 03 Oct 2017 20:32:58 +0200 | wenzelm | prefer Cygwin64, although some components still require update; | changeset | files |
| Tue, 03 Oct 2017 17:01:31 +0200 | wenzelm | updated test version; | changeset | files |
| Tue, 03 Oct 2017 12:30:36 +0200 | wenzelm | more recent polyml-test version; | changeset | files |