# HG changeset patch
# User wenzelm
# Date 1639578391 -3600
# Node ID 9ddf227fc8a43f8971bf41a07cac1067e07f43ce
# Parent  a63c34c284303c3d91cc4105be7c439a8d4edce1
tuned comments;

diff -r a63c34c28430 -r 9ddf227fc8a4 src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Wed Dec 15 13:07:49 2021 +0100
+++ b/src/Pure/General/mailman.scala	Wed Dec 15 15:26:31 2021 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/mailman.scala
     Author:     Makarius
 
-Support for Mailman list servers.
+Support for Mailman list servers, notably isabelle-users and isabelle-dev.
 */
 
 package isabelle