--- a/CONTRIBUTORS Mon Nov 03 19:04:11 2025 +0100
+++ b/CONTRIBUTORS Mon Nov 03 19:19:46 2025 +0100
@@ -6,6 +6,10 @@
Contributions to Isabelle2025-1
-------------------------------
+* August 2025: Diana Korchmar and and Balazs Toth, LMU München
+ Initial design and implementation of various add-ons for Isabelle/VSCode:
+ panels for Documentation, Isabelle Symbols, and Sledgehammer.
+
* May 2025: Benoît Ballenghien, Université Paris-Saclay.
Simproc "apply_cont" for HOLCF.
--- a/NEWS Mon Nov 03 19:04:11 2025 +0100
+++ b/NEWS Mon Nov 03 19:19:46 2025 +0100
@@ -101,6 +101,14 @@
*** Isabelle/VSCode Prover IDE ***
+* The main toolbar provides access to Isabelle examples and
+documentation. Plain text files are opened in the editor, but PDFs
+require a suitable VSCode extension (e.g. "vscode-pdf" from the
+marketplace).
+
+* Output panels for Isabelle Symbols and Sledgehammer, which imitate
+Isabelle/jEdit dockables to some extent.
+
* Update to recent VSCode 1.104 / VSCodium 1.104.06131, Electron 37.3.1,
Chromium 138.0.7204.235, and Node.js 22.18.0. Note that some Linux
systems (e.g. Ubuntu 24.04) require special file permissions to run