| Tue, 07 Mar 2017 17:56:57 +0100 | wenzelm | more generic colors; | changeset | files |
| Tue, 07 Mar 2017 17:21:41 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 07 Mar 2017 16:06:42 +0100 | wenzelm | decorations for spell-checker; | changeset | files |
| 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 |