Email Gateway (Jan 24 2024 at 02:16): Email Gateway (Jan 24 2024 at 02:16):From: Jimmy Situ <web@jimmystone.cn>
Change mail title
------------------ Original ------------------
Screenshot from 2024-01-23 23-51-28.png
Email Gateway (Jan 24 2024 at 11:16):From: Makarius <makarius@sketis.net>
I've briefly tried Isabelle2023 on a fresh (virtual) installation of Ubuntu
20.04 LTS. It works on the spot. For example:
~/Desktop/Isabelle2023/bin/isabelle jedit
~/Desktop/Isabelle2023/src/HOL/Examples/Seq.thy
or:
~/Desktop/Isabelle2023/bin/isabelle jedit
~/Desktop/Isabelle2023/src/HOL/Examples/
On startup of VSCodium, I had to "trust" the opened file/dir. I further had to
ignore proposals to load other extensions for .thy files.
Are you actually using the official downloads of Isabelle? For example
https://isabelle.in.tum.de/dist/Isabelle2023_linux.tar.gz
You can also try to purge ~/.isabelle/Isabelle2023/vscode/.
If your logic heap image is outdated and needs to be rebuilt,
Isabelle/VSCode does not quite work. You need to run "isabelle build -b HOL"
(or whatever) first. The official download includes a HOL image already.
Makarius
Last updated: Apr 29 2024 at 01:08 UTC