NEWS;
authorwenzelm
Fri, 22 Dec 2017 17:23:01 +0100
changeset 67262 bce56b5a35d5
parent 67261 ecd607631bc7
child 67263 46540a2ead4b
NEWS;
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 ***