On 03/07/17 21:14, Simon Wimmer wrote:
>
> One thing that disturbed me in the beginning was that I first have to
> edit a document before any symbols get prettified.
This might be a weakness of the Prettify Symbols Mode, or just a mistake
in setting it up on my side. (For months, I have not heard
Hi Makarius,
the same goes for me. Installing and running this worked without any
trouble when following your instructions.
One thing that disturbed me in the beginning was that I first have to edit
a document before any symbols get prettified.
Simon
On Mon, Jul 3, 2017 at 4:11 PM Mathias Fleury
Dear Makarius,
I am using Isabelle/VSCode code for a week now. So it is possible to
install and use it.
I mostly like it:
* I really like VSCode's Control-P to search for commands.
* the PIDE protocol, unlike "isabelle build", accepts unicode
characters: If the file contains "×⇩r" inst
On 07/02/2017 10:59 PM, Makarius wrote:
> On 02/07/17 22:16, Christian Sternagel wrote:
>>
>>> It should work analogously to the "Preview" button, but without having a
>>> button.
>>
>> Preview (more concretely the "Open Preview" "button" -- some kind of
>> magnifying glass icon where the rest is t
On 02/07/17 22:16, Christian Sternagel wrote:
>
>> It should work analogously to the "Preview" button, but without having a
>> button.
>
> Preview (more concretely the "Open Preview" "button" -- some kind of
> magnifying glass icon where the rest is to tiny to discern) only gives
> me a white box
On 07/02/2017 02:21 PM, Makarius wrote:
> On 02/07/17 13:31, Christian Sternagel wrote:
>> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>>> There is also a "State" panel that imitates the dockable of the same
>>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>>> command,
On 02/07/17 13:31, Christian Sternagel wrote:
> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>> There is also a "State" panel that imitates the dockable of the same
>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>> command, e.g. use the SHIFT-CONTROL-P command palette an
On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
> On 01.07.17 20:46, Christian Sternagel wrote:
>>
>> It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
>
> That is a plain-text channel of VSCode.
Oh, okay.
>
> There is also a "State" panel that imitates the dockable of the
On 01.07.17 20:46, Christian Sternagel wrote:
It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
That is a plain-text channel of VSCode.
There is also a "State" panel that imitates the dockable of the same
name in Isabelle/jEdit. You will get to that via the "isabelle.s
Dear Makarius,
I've already occasionally peeked into your Isabelle/VSCode commits before.
For me Isabelle/VSCode it works out of the box (after installing VSCode
via the package system of my operating system).
It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
cheers
chri
*** General ***
* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
VSCode is a new type of application that continues the concepts of
"programmer's editor" and "integrated de
11 matches
Mail list logo