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 text;
authorwenzelm
Mon, 03 Nov 2025 19:32:52 +0100
changeset 83492 9a226cf0f968
parent 83491 b42e2dd962a8
child 83493 c485d66e5a6e
tuned text;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Nov 03 19:19:50 2025 +0100
+++ b/CONTRIBUTORS	Mon Nov 03 19:32:52 2025 +0100
@@ -6,7 +6,7 @@
 Contributions to Isabelle2025-1
 -------------------------------
 
-* August 2025: Diana Korchmar and and Balazs Toth, LMU München
+* August 2025: Diana Korchmar and Balazs Toth, LMU München
   Initial design and implementation of various add-ons for Isabelle/VSCode:
   panels for Documentation, Isabelle Symbols, and Sledgehammer.
isabelle