NEWS
changeset 64844 bb70dc05cd38
parent 64842 9c69b495c05d
child 64846 de4e3df6693d
     1.1 --- a/NEWS	Sun Jan 08 19:35:14 2017 +0100
     1.2 +++ b/NEWS	Mon Jan 09 00:08:18 2017 +0100
     1.3 @@ -69,6 +69,16 @@
     1.4    bij_swap_ompose_bij ~> bij_swap_compose_bij
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Prover IDE support for the Visual Studio Code editor and language
    1.10 +server protocol, via the "isabelle vscode_server" tool (see also
    1.11 +src/Tools/VSCode/README.md). The example application within the VS code
    1.12 +editor is called "Isabelle" and available from its online repository
    1.13 +(the "Marketplace"). It serves as example for further potential IDE
    1.14 +front-ends.
    1.15 +
    1.16 +
    1.17  New in Isabelle2016-1 (December 2016)
    1.18  -------------------------------------
    1.19