Sun, 12 Nov 2017 16:38:13 +0100 | wenzelm | load theories via PIDE document update; | changeset | files |
Sun, 12 Nov 2017 13:22:00 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 12 Nov 2017 13:19:00 +0100 | wenzelm | PIDE resources for theory files; | changeset | files |