| Tue, 07 Mar 2017 14:33:14 +0100 | wenzelm | clarified modules: spell-checker in Pure; | changeset | files |
| Tue, 07 Mar 2017 13:55:49 +0100 | wenzelm | added admin tool "isabelle build_vscode"; | changeset | files |
| Tue, 07 Mar 2017 10:52:04 +0100 | wenzelm | clarified options; | changeset | files |