<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Dear Makarius,</p>
    <p>I am using Isabelle/VSCode code for a week now. So it is possible
      to install and use it.</p>
    <p><br>
    </p>
    <p> I mostly like it:<br>
    </p>
    <ul>
      <li>I really like VSCode's Control-P to search for commands.<br>
        <br>
      </li>
      <li>the PIDE protocol, unlike "isabelle build", accepts unicode
        characters: If the file contains "×⇩r" instead of
        "\<times>\<^sub>r" (e.g. because I copy-pasted it) ,
        Isabelle/jEdit and Isabelle/VSCode will accept the expression,
        but "isabelle build" will fail. It took a long time to figure
        that out, since in Iaabelle/jEdit, the symbols are shown in the
        same fashion.<br>
        <br>
      </li>
      <li>there are some weird slow-downs: Every once in a while,
        refreshing/jumping to the definition take several seconds. I am
        not yet sure whether Isabelle or VSCode is responsible.<br>
      </li>
    </ul>
    <p><br>
    </p>
    <p>Mathias<br>
    </p>
    <p><br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 01.07.17 19:36, Makarius wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:998fe5cd-151a-2371-5c08-1603225e3d32@sketis.net">
      <pre wrap="">*** General ***

* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
<a class="moz-txt-link-freetext" href="https://marketplace.visualstudio.com/items?itemName=makarius.isabelle">https://marketplace.visualstudio.com/items?itemName=makarius.isabelle</a>

VSCode is a new type of application that continues the concepts of
"programmer's editor" and "integrated development environment" towards
fully semantic editing and debugging -- in a relatively light-weight
manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.
Technically, VSCode is based on the Electron application framework
(Node.js + Chromium browser + V8), which is implemented in JavaScript
and TypeScript, while Isabelle/VSCode mainly consists of Isabelle/Scala
modules around a Language Server implementation.


This refers to Isabelle/8f39d60b943d. The marketplace link above also
shows a screenshot.

I am interested to hear if anybody manages to run the application:
presently it lacks the all-inclusive application bundling of Isabelle/jEdit.


        Makarius
_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>