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