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
https://code.visualstudio.com/Download


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to