| Tue, 20 Dec 2016 16:17:13 +0100 | blanchet | generalized code (towards nonuniform datatypes) | changeset | files |
| Mon, 19 Dec 2016 20:46:15 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 19 Dec 2016 20:27:49 +0100 | wenzelm | basic support for VSCode Language Server protocol; | changeset | files |
| Sun, 18 Dec 2016 23:43:50 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 18 Dec 2016 22:14:53 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 18 Dec 2016 21:58:13 +0100 | wenzelm | added isabelle jedit -R; | changeset | files |
| Sun, 18 Dec 2016 20:01:24 +0100 | wenzelm | misc tuning and modernization; | changeset | files |