Stream: Beginner Questions

Topic: Isabelle vscode in Windows


view this post on Zulip Peter Koepke (Oct 25 2022 at 21:38):

I have just installed Isabelle2022 under Windows. I can open it by clicking on a desktop symbol or by the command Isabelle2022 in a Windows terminal. How can I open Isabelle/VSCode instead? From the Windows terminal?

view this post on Zulip Kevin Kappelmann (Oct 28 2022 at 08:05):

Hi Peter, I'm not a Windows user, but on Linux, you can use the following commands, probably they are the same on windows.

Open a session directory

<path_to_isabelle>/bin/isabelle vscode -d <path_to_your_session_directory>

For just HOL

<path_to_isabelle>/bin/isabelle vscode -l HOL

Show more options:

<path_to_isabelle>/bin/isabelle vscode -?

view this post on Zulip Eugene (Oct 30 2022 at 22:27):

You need to start cygwin command line. There's a batch file in Isabelle home directory. From that command line you can use the command that @Kevin Kappelmann gave.
However, vscode doesn't work correctly - I think it has a bug handling windows paths. I can open thy files, but get errors processing.


Last updated: Mar 28 2024 at 20:16 UTC