# HG changeset patch
# User wenzelm
# Date 1504365910 -7200
# Node ID 34b20f7236ea2b59c1994ee10770267bb156c9e5
# Parent  e2671e8c476f881d0a7671e6ff10387c0201d7eb
proper URL;

diff -r e2671e8c476f -r 34b20f7236ea NEWS
--- a/NEWS	Sat Sep 02 17:21:52 2017 +0200
+++ b/NEWS	Sat Sep 02 17:25:10 2017 +0200
@@ -11,7 +11,7 @@
 
 * Experimental support for Visual Studio Code (VSCode) as alternative
 Isabelle/PIDE front-end, see also
-https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
+https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2017
 
 VSCode is a new type of application that continues the concepts of
 "programmer's editor" and "integrated development environment" towards