changeset 67221 | 62a5fbdded50 |
parent 67219 | 81e9804b2014 |
child 67224 | 341fbce5b26d |
--- a/NEWS Sat Dec 16 22:20:06 2017 +0100 +++ b/NEWS Sat Dec 16 22:32:04 2017 +0100 @@ -44,7 +44,8 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** -* PIDE markup for session ROOT files. +* PIDE markup for session ROOT files: allows to complete session names, +follow links to theories and document files etc. * Completion supports theory header imports, using theory base name. E.g. "Prob" may be completed to "HOL-Probability.Probability".