Email Gateway (Jan 23 2024 at 15:56): Email Gateway (Jan 23 2024 at 15:56):From: Jimmy Situ <web@jimmystone.cn>
Hi, All
I am trying to use isabelle with vscode, and I starts isabelle with cmd
> isabelle vscode mythy.thy
The vscode GUI starts fine, but I do not see the proof state as isabelle jedit do
I attached the screenshot, anything I miss? Is there a cmd to open proof state in vscode?
BTW, I am using Ubuntu 20.04 and both Isabelle 2022 and 2023 is tried without luck
Thanks
Jimmy Situ
Screenshot from 2024-01-23 23-51-28.png
Email Gateway (Jan 24 2024 at 13:38):From: Kevin Kappelmann <kevin.kappelmann@tum.de>
You have to open the state or output window: View -> Command Palette ->
then type "Isabelle"
Kevin
Email Gateway (Jan 24 2024 at 15:12):From: Jimmy Situ <web@jimmystone.cn>
Hi, Kevin
Thanks for your instruction, I can use Isabelle with vscode now.
Jimmy Situ
------------------ Original ------------------
Last updated: Apr 29 2024 at 04:18 UTC