Kevin Kappelmann (Apr 01 2023 at 19:35): Kevin Kappelmann (Apr 01 2023 at 19:35):Microsoft makes it a bit of a headache to use their software on VSCodium, but
if you want to try GitHub's Copilot for Isabelle/VSCode anyway, you can follow the instructions here.
Summary:
1.77.9225, but the newest version (1.78.9758) also seemed to work. <path_to_isabelle>/bin/isabelle vscode -- --install-extension <path_to_vsix_file>/GitHub.copilot-<version_number>.vsix. <path_to_isabelle>/bin/isabelle vscode -l HOL Kevin Kappelmann (Apr 01 2023 at 19:37): Naso (Jun 02 2023 at 06:30):Kevin Kappelmann said:
Microsoft makes it a bit of a headache to use their software on VSCodium, but
if you want to try GitHub's Copilot for Isabelle/VSCode anyway, you can follow the instructions here.Summary:
- Download the .vsix file here. I am using version
1.77.9225, but the newest version (1.78.9758) also seemed to work.- Install Copilot in Isabelle/VSCode:
<path_to_isabelle>/bin/isabelle vscode -- --install-extension <path_to_vsix_file>/GitHub.copilot-<version_number>.vsix.- Follow this guide but when logging the auth-token, follow this comment.
- Once you have the auth-token, open Isabelle/VSCode
<path_to_isabelle>/bin/isabelle vscode -l HOL- Log in to Copilot using the auth-token
Hi, I'm trying to get Isabelle 2021-1 working in VSCode since the new VSCodium version doesn't easily support Copilot.
I'm on MacOS and have Isabelle2021-1.app in my Applications directory, and I've installed the Isabelle VS Code extension 2.01 by Makarius Wenzel . But when I open a .thy file, it is just recognised as a 'Plain text' file and I can't seem to get it recognised as an Isabelle file.
Based on advice I found online, I've also put the following option in my vscode config file: "isabelle.home": "/Applications/Isabelle2021-1.app/Isabelle2021-1" but it gives a warning that this option is not recognised.
Any assistance here really appreciated -- thank you!
Kevin Kappelmann (Jun 02 2023 at 06:44):The VSCode integration of Isabelle changed drastically after 2021. The Isabelle VSCode plugin is deprecated. Isabelle nowadays ships with a prepackaged VSCodium environment that should work out of the box. You will have to download a newer Isabelle version (if that is an option for your).
Kevin Kappelmann (Jun 02 2023 at 06:44):For example, I am using the latest release version.
Naso (Jun 02 2023 at 08:44):Kevin Kappelmann said:
The VSCode integration of Isabelle changed drastically after 2021. The Isabelle VSCode plugin is deprecated. Isabelle nowadays ships with a prepackaged VSCodium environment that should work out of the box. You will have to download a newer Isabelle version (if that is an option for your).
Thanks Kevin, yes I do have 2022 installed and attempted to follow your instructions and the linked guide but I haven't succeeded in getting Copilot working with it, i thought it may be easier to just use the 2021 version but apparently not. I will have another look at the guide..
Last updated: May 01 2024 at 20:18 UTC