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. chris > > > Makarius > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev