Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
changeset 82647 21c3b55787a6
parent 82625 0fa6759948bc 
--- a/CONTRIBUTORS	Wed May 21 14:33:57 2025 +0200
+++ b/CONTRIBUTORS	Wed May 21 14:38:46 2025 +0200
@@ -6,11 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2025: Benoît Ballenghien, Université Paris-Saclay.
+  Simproc "apply_cont" for HOLCF.
+
 * February 2025: Kai Naumann and Balazs Toth, LMU München
   Initial design and implementation of dark mode for Isabelle/jEdit.
 
-* May 2025: Benoit Ballenghien contributed the simproc apply_cont to HOLCF
-
 
 Contributions to Isabelle2025
 -----------------------------
isabelle