Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Screenshot from 2024-01-23 23-41-07

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Jan 04 2025 at 20:18 UTC