# HG changeset patch
# User wenzelm
# Date 1761495151 -3600
# Node ID 6f6062df9e05584450bb09bce14ecce973f592ec
# Parent  1cc5bab55049ebcf7afdc9003d06be17102a137f
tuned comments;

diff -r 1cc5bab55049 -r 6f6062df9e05 src/Tools/VSCode/src/vscode_sledgehammer.scala
--- a/src/Tools/VSCode/src/vscode_sledgehammer.scala	Sun Oct 26 14:39:31 2025 +0100
+++ b/src/Tools/VSCode/src/vscode_sledgehammer.scala	Sun Oct 26 17:12:31 2025 +0100
@@ -1,5 +1,8 @@
-/*  Title:      Tools/VSCode/src/sledgehammer_panel.scala
+/*  Title:      Tools/VSCode/src/vscode_sledgehammer.scala
     Author:     Diana Korchmar
+    Author:     Makarius
+
+Control panel for Sledgehammer.
 */
 
 package isabelle.vscode