Stream: Beginner Questions

Topic: Isabelle vscode in macOS


view this post on Zulip TANIGUCHI Masaya (Oct 24 2022 at 03:40):

Hi, I am looking forward to releasing the new version of Isabelle/HOL because of a vscode is bundled.
I tried the ./bin/isabelle vscode in the Isabelle-RC4.app in macOS but the vscode is not launched.
The command run in a few seconds and silently exited with status 0. I have checked the Security Policy in Preference Panel of macOS
but it mentioned no security issues. How do I launch the vscode for Isabelle HOL?

view this post on Zulip Mathias Fleury (Oct 24 2022 at 04:16):

for me it took much more that a couple of seconds the first time

view this post on Zulip Mathias Fleury (Oct 24 2022 at 04:17):

and it opened only after the command return with status 0

view this post on Zulip Mathias Fleury (Oct 24 2022 at 04:17):

However, because we are in the release process: please write this on the mailing list

view this post on Zulip TANIGUCHI Masaya (Oct 24 2022 at 04:39):

Noted with thank you. I will describe the detail there. You have two mailing list.
For my issue, which mailing list is preferable?

view this post on Zulip Mathias Fleury (Oct 24 2022 at 04:46):

user mailing list

view this post on Zulip TANIGUCHI Masaya (Oct 24 2022 at 04:46):

I got it. Thank you.

view this post on Zulip Mathias Fleury (Oct 24 2022 at 04:48):

The release announcement: https://isabelle.zulipchat.com/#narrow/stream/247541-Mirror.3A-Isabelle-Users-Mailing-List/topic/.5Bisabelle.5D.20Pre-final.20Isabelle2022-RC4.20is.20now.20available/near/304665286


Last updated: Mar 29 2024 at 08:18 UTC