Ant S. (Mar 18 2026 at 14:56): Ant S. (Mar 18 2026 at 14:56):Is it possible to use Isabelle2025-2's instance of Isabelle/VSCode on a codebase that is not compatible with the latest version of Isabelle? I ask because the version of Isabelle being used (namely Isabelle2025)'s VScode instance doesn't seem to have many QoL features like sledgehammer or the separation of Isabelle Output and Isabelle Symbols
I tried copying Tools/Isabelle from an instance of 2025-2 to one of 2025 and it failed to compile. At the moment, porting the codebase may not be feasible, so is it possible?
Fabian Huch (Mar 18 2026 at 15:03):No, there is no inter-version compatibility in Isabelle, in general.
Ant S. (Mar 18 2026 at 15:03):Thank you!
Last updated: Mar 20 2026 at 05:16 UTC