Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle:Output window in VSCodium

view this post on Zulip Email Gateway (Feb 08 2023 at 20:39):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
The Isabelle:Output window is generally blank when working in VSCodium in
Isabelle2022. Should it not have proof state information? The only time
something appears there is if I have my cursor on an error, for example
"Bad context for command ..."
Thanks,
Jeremy Sylvestre

view this post on Zulip Email Gateway (Feb 08 2023 at 20:51):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
sorry, disregard that last message, found the 'isabelle.state' command. I
was just used to the proof state information appearing in VSCode's output
window.

Last updated: Apr 26 2024 at 12:28 UTC