Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper URL;
authorwenzelm
Sat, 02 Sep 2017 17:25:10 +0200
changeset 66599 34b20f7236ea
parent 66598 e2671e8c476f
child 66600 13a1081961d2
proper URL;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle