Sun, 12 Nov 2017 20:17:29 +0100 | wenzelm | optional session_base, e.g. from existing Sessions.Deps in build.scala; | file | diff | annotate |
Sun, 12 Nov 2017 20:12:10 +0100 | wenzelm | synchronous session start (similar to isabelle.vscode.Server); | file | diff | annotate |
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 |