[isabelle-dev] NEWS: Isabelle/VSCode

Makarius makarius at sketis.net
Sun Jul 2 22:59:03 CEST 2017

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.

You've also said that your VSCode is from the OS package repository.
Maybe it is better to use the official


More information about the isabelle-dev mailing list