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.
contributor
authornipkow
Mon, 12 May 2025 19:20:34 +0200
changeset 82622 9332e3487b8a
parent 82621 b444e7150e1f
child 82623 e634b5ecf633
child 82624 210be56ecd1d
contributor
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon May 12 19:19:41 2025 +0200
+++ b/CONTRIBUTORS	Mon May 12 19:20:34 2025 +0200
@@ -6,6 +6,8 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2025: Benoit Ballenghien contributed the simproc apply_cont to HOLCF
+
 
 Contributions to Isabelle2025
 -----------------------------
isabelle