新的介绍内容：

Isabelle/VSCode Prover IDE (PIDE) 扩展已被标记为过时。最后一个支持单独VSCode扩展的Isabelle版本是2021-1版（2021年12月发布），您可以在公共市场上找到标记为"makarius.Isabelle2021-1"的扩展。

从Isabelle2022版本开始，Isabelle/VSCode已被完全集成到Isabelle发行版中，不再需要单独的扩展。这意味着用户可以直接通过Isabelle的官方发行版获得最新的Isabelle/VSCode功能。

为了确保您使用的是最新的Isabelle工具，我们建议访问Isabelle的官方网站及其镜像站点：

• 剑桥（英国）：https://www.cl.cam.ac.uk/research/hvg/Isabelle
• 慕尼黑（德国）：https://isabelle.in.tum.de
• 悉尼（澳大利亚）：https://mirror.cse.unsw.edu.au/pub/isabelle
• 波茨坦，纽约（美国）：https://mirror.clarkson.edu/isabelle

请注意，转向Isabelle2022和其集成的Isabelle/VSCode版本，将为您提供更流畅和高效的使用体验。