| changeset 67215 | 03d0c958d65a |
| parent 67207 | ad538f6c5d2f |
| child 67219 | 81e9804b2014 |
--- a/NEWS Sat Dec 16 15:15:51 2017 +0100 +++ b/NEWS Sat Dec 16 16:46:01 2017 +0100 @@ -44,6 +44,8 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** +* PIDE markup for session ROOT files. + * Completion supports theory header imports, using theory base name. E.g. "Prob" may be completed to "HOL-Probability.Probability".