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.
src/Pure/General/mailman.scala
changeset 83369 8696fb442049
parent 81627 079dee3b117c 
--- a/src/Pure/General/mailman.scala	Thu Oct 23 17:14:39 2025 +0200
+++ b/src/Pure/General/mailman.scala	Thu Oct 23 17:52:00 2025 +0200
@@ -200,7 +200,7 @@
       "wmansky:cs/princeton/edu" -> "William Mansky\nwmansky:cs/princeton/edu",
       "y/nemouchi:ensbiotech/edu/dz" -> "Yakoub Nemouchi\ny/nemouchi:ensbiotech/edu/dz",
       "ÐÑÐÐÐÑÐÐÐ ÐÐÐÐÐÐÐÑÐÐÐÑ ÐÐÐÑÐÐÐ" -> "",
-      "∀X/Xπ - Tutorials about Proofs" -> "Bruno Woltzenlogel Paleo",
+      "\u2200X/X\u03c0 - Tutorials about Proofs" -> "Bruno Woltzenlogel Paleo",
     )
 
   private def tune(s: String): String =
isabelle