--- a/NEWS Fri Dec 22 17:19:53 2017 +0100
+++ b/NEWS Fri Dec 22 17:23:01 2017 +0100
@@ -42,7 +42,7 @@
isabelle build -D '~~/src/ZF'
-*** Prover IDE -- Isabelle/Scala/jEdit ***
+*** Isabelle/jEdit Prover IDE ***
* PIDE markup for session ROOT files: allows to complete session names,
follow links to theories and document files etc.
@@ -74,6 +74,11 @@
notably bibtex database files and plain text files.
+*** Isabelle/VSCode Prover IDE ***
+
+* HTML preview of theories and other file-formats similar to
+Isabelle/jEdit.
+
*** Document preparation ***