# HG changeset patch
# User wenzelm
# Date 1513959781 -3600
# Node ID bce56b5a35d5a64e0393eacf0956960e2c9f1001
# Parent  ecd607631bc7eee0bc43eec5e68d0a5b182409a9
NEWS;

diff -r ecd607631bc7 -r bce56b5a35d5 NEWS
--- 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 ***