--- a/NEWS Thu Oct 05 16:33:36 2017 +0200
+++ b/NEWS Thu Oct 05 17:37:47 2017 +0200
@@ -30,6 +30,11 @@
isabelle build -D '~~/src/ZF'
+*** Prover IDE -- Isabelle/Scala/jEdit ***
+
+* Completion supports theory header imports.
+
+
*** HOL ***
* SMT module: