changeset 66599 | 34b20f7236ea |
parent 66574 | e16b27bd3f76 |
child 66614 | 1f1c5d85d232 |
--- 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