<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>