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
>> 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
I also updated VSCode (through its own interface) to the latest version
from the above link.
Now it works like you suggested.
isabelle-dev mailing list