| Sun, 12 Nov 2017 19:46:19 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 12 Nov 2017 19:42:22 +0100 | wenzelm | simplified: eliminated pointless Thy_Document_Model; | file | diff | annotate |
| Sun, 12 Nov 2017 16:56:39 +0100 | wenzelm | theory nodes are never visible: avoid prints, which are not covered by node_consolidated; | file | diff | annotate |
| Sun, 12 Nov 2017 16:38:13 +0100 | wenzelm | load theories via PIDE document update; | file | diff | annotate |
| Sun, 12 Nov 2017 13:19:00 +0100 | wenzelm | PIDE resources for theory files; | file | diff | annotate |