NEWS
changeset 67261 bce56b5a35d5
parent 67248 68177abb2988
child 67262 46540a2ead4b
     1.1 --- a/NEWS	Fri Dec 22 17:19:53 2017 +0100
     1.2 +++ b/NEWS	Fri Dec 22 17:23:01 2017 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4    isabelle build -D '~~/src/ZF'
     1.5  
     1.6  
     1.7 -*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +*** Isabelle/jEdit Prover IDE ***
     1.9  
    1.10  * PIDE markup for session ROOT files: allows to complete session names,
    1.11  follow links to theories and document files etc.
    1.12 @@ -74,6 +74,11 @@
    1.13  notably bibtex database files and plain text files.
    1.14  
    1.15  
    1.16 +*** Isabelle/VSCode Prover IDE ***
    1.17 +
    1.18 +* HTML preview of theories and other file-formats similar to
    1.19 +Isabelle/jEdit.
    1.20 +
    1.21  
    1.22  *** Document preparation ***
    1.23