| Tue, 07 Mar 2017 15:35:54 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 07 Mar 2017 14:51:52 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Tue, 07 Mar 2017 16:22:17 +0100 | eberlm | Tuned generation of elimination rules in function package | changeset | files |
| Tue, 07 Mar 2017 00:06:16 +0100 | wenzelm | maintain decorations for document (model) and update it for each editor (view); | changeset | files |