NEWS
changeset 66599 34b20f7236ea
parent 66574 e16b27bd3f76
child 66614 1f1c5d85d232
equal deleted inserted replaced
66598:e2671e8c476f 66599:34b20f7236ea
     9 
     9 
    10 *** General ***
    10 *** General ***
    11 
    11 
    12 * Experimental support for Visual Studio Code (VSCode) as alternative
    12 * Experimental support for Visual Studio Code (VSCode) as alternative
    13 Isabelle/PIDE front-end, see also
    13 Isabelle/PIDE front-end, see also
    14 https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
    14 https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2017
    15 
    15 
    16 VSCode is a new type of application that continues the concepts of
    16 VSCode is a new type of application that continues the concepts of
    17 "programmer's editor" and "integrated development environment" towards
    17 "programmer's editor" and "integrated development environment" towards
    18 fully semantic editing and debugging -- in a relatively light-weight
    18 fully semantic editing and debugging -- in a relatively light-weight
    19 manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.
    19 manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.