Peter Koepke (Oct 25 2022 at 21:38): 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?
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 -?
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: Dec 30 2024 at 16:22 UTC