| Fri, 01 Mar 2019 21:29:59 +0100 | wenzelm | system option "system_heaps" supersedes various command-line options for "system build mode"; | changeset | files |
| Fri, 01 Mar 2019 20:16:26 +0100 | wenzelm | more uniform session_system_mode (see also e57416b649d5); | changeset | files |
| Fri, 01 Mar 2019 17:00:55 +0100 | wenzelm | more implicit reload, similar to VSCode; | changeset | files |
| Fri, 01 Mar 2019 16:49:41 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 28 Feb 2019 21:59:58 +0100 | wenzelm | tuned proofs -- eliminated odd case_tac; | changeset | files |
| Thu, 28 Feb 2019 21:37:24 +0100 | wenzelm | more scalable on 32-bit Poly/ML; | changeset | files |