proper URL;
authorwenzelm
Sat Sep 02 17:25:10 2017 +0200 (20 months ago)
changeset 6659934b20f7236ea
parent 66598 e2671e8c476f
child 66600 13a1081961d2
proper URL;
NEWS
     1.1 --- a/NEWS	Sat Sep 02 17:21:52 2017 +0200
     1.2 +++ b/NEWS	Sat Sep 02 17:25:10 2017 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  * Experimental support for Visual Studio Code (VSCode) as alternative
     1.6  Isabelle/PIDE front-end, see also
     1.7 -https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
     1.8 +https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2017
     1.9  
    1.10  VSCode is a new type of application that continues the concepts of
    1.11  "programmer's editor" and "integrated development environment" towards