Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned titles;
authorwenzelm
Sat, 25 Oct 2025 21:11:59 +0200
changeset 83391 869fc3e94bcd
parent 83390 05abe5a82410
child 83392 5248a91e91fb
tuned titles;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Sat Oct 25 20:12:21 2025 +0200
+++ b/src/Tools/VSCode/extension/package.json	Sat Oct 25 21:11:59 2025 +0200
@@ -31,12 +31,12 @@
             "panel": [
                 {
                     "id": "isabelle",
-                    "title": "Isabelle",
+                    "title": "Isabelle Output",
                     "icon": "isabelle.png"
                 },
                 {
                     "id": "isabelle-symbols",
-                    "title": "Symbols",
+                    "title": "Isabelle Symbols",
                     "icon": "./media/symbol-panel.svg"
                 },
                 {
isabelle