| Wed, 27 Feb 2019 17:33:39 +0100 | wenzelm | more scalable on 32-bit Poly/ML; | changeset | files |
| Wed, 27 Feb 2019 16:28:46 +0100 | wenzelm | clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump"); | changeset | files |
| Wed, 27 Feb 2019 14:22:00 +0100 | wenzelm | tuned; | changeset | files |