<div dir="ltr">Hi Makarius,<div><br></div><div>the same goes for me. Installing and running this worked without any trouble when following your instructions.</div><div>One thing that disturbed me in the beginning was that I first have to edit a document before any symbols get prettified.</div><div><br></div><div>Simon<br><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 3, 2017 at 4:11 PM Mathias Fleury <<a href="mailto:mathias.fleury@ens-rennes.fr">mathias.fleury@ens-rennes.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div 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></div><div text="#000000" bgcolor="#FFFFFF">
    <p><br>
    </p>
    <p>Mathias<br>
    </p></div><div text="#000000" bgcolor="#FFFFFF">
    <p><br>
    </p>
    <br>
    <div class="m_-275876338223656625moz-cite-prefix">On 01.07.17 19:36, Makarius wrote:<br>
    </div>
    <blockquote type="cite">
      <pre>*** General ***

* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
<a class="m_-275876338223656625moz-txt-link-freetext" href="https://marketplace.visualstudio.com/items?itemName=makarius.isabelle" target="_blank">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="m_-275876338223656625moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de" target="_blank">isabelle-dev@in.tum.de</a>
<a class="m_-275876338223656625moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev" target="_blank">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
    </blockquote>
    <br>
  </div>

_______________________________________________<br>
isabelle-dev mailing list<br>
<a href="mailto:isabelle-dev@in.tum.de" target="_blank">isabelle-dev@in.tum.de</a><br>
<a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev" rel="noreferrer" target="_blank">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a><br>
</blockquote></div></div></div>