[isabelle-dev] NEWS: Isabelle/VSCode

Christian Sternagel c.sternagel at gmail.com
Mon Jul 3 14:42:50 CEST 2017

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 to tiny to discern) only gives
>> me a white box with a very light gray copy of the theory file content.
> Odd. Is this really Isabelle_01-Jul-2017 as described in README.md -- or
> alternatively current Isabelle/453f9cabddb5 ? The isabelle.home settings
> of VSCode needs to point to the currect ISABELLE_HOME directory.

Oh, I overlooked this part. I was still on ded1c636aece (the first
version where I started looking into Isabelle/VSCode and did no longer
remember README.md; but there where no error messages). Now I am on
453f9cabddb5. Sorry for that.

> You've also said that your VSCode is from the OS package repository.
> Maybe it is better to use the official
> https://code.visualstudio.com/Download

I also updated VSCode (through its own interface) to the latest version
from the above link.

Now it works like you suggested.


> 	Makarius

More information about the isabelle-dev mailing list