| Mon, 21 Jan 2019 07:08:55 +0000 | haftmann | slightly more conventional naming schema | changeset | files |
| Mon, 21 Jan 2019 07:08:27 +0000 | haftmann | Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space | changeset | files |
| Mon, 21 Jan 2019 22:46:25 +0100 | blanchet | updated news | changeset | files |
| Mon, 21 Jan 2019 22:29:41 +0100 | blanchet | get rid of visibility in MaSh -- it slows it down more than it helps | changeset | files |
| Mon, 21 Jan 2019 21:28:16 +0100 | wenzelm | merged | changeset | files |
| Mon, 21 Jan 2019 20:03:20 +0100 | wenzelm | updated polyml platform: 32=x86_64_32; | changeset | files |
| Mon, 21 Jan 2019 19:59:37 +0100 | wenzelm | more thorough purge_platforms; | changeset | files |
| Mon, 21 Jan 2019 16:50:48 +0100 | wenzelm | clarified ML_OPTIONS on Windows; | changeset | files |