src/Pure/General/mailman.scala

 
   private val standard_name: Map[String, String] =
     Map(
       "Aman Pohjola, Johannes (Data61, Kensington NSW)" -> "Johannes Aman Pohjola",
       "Andrei de AraÃjo Formiga" -> "Andrei de Araujo Formiga",
-      "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "Benedikt Ahrens\[e-mail]",
+      "Berg, Nils Erik" -> "Nils Erik Berg",
       "Berger U." -> "Ulrich Berger",
       "Bisping, Benjamin" -> "Benjamin Bisping",
       "Blanchette, J.C." -> "Jasmin Christian Blanchette",
       "Buday Gergely István" -> "Gergely Buday",
       "[e-mail]" -> "",
       "CRACIUN F." -> "Florin Craciun",
       "Carsten Schuermann" -> "Carsten Schürmann",
+      "Chris" -> "",
       "Christoph Lueth" -> "Christoph Lüth",
       "Claude Marche" -> "Claude Marché",
       "Daniel StÃwe" -> "Daniel Stüwe",
-      "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "Daniel Matichuk\[e-mail]",
+      "[e-mail]" -> "Daniel Matichuk\[e-mail]",
       "David MENTRE" -> "David MENTRÉ",
+      "Dey, Katie" -> "Katie Dey",
       "Dr. Brendan Patrick Mahony" -> "Brendan Mahony",
       "Farn" -> "Farn Wang",
       "Farquhar, Colin I" -> "Colin Farquhar",
+      "Fernandez, Matthew" -> "Matthew Fernandez",
       "Filip Maric" -> "Filip Marić",
       "Filip MariÄ" -> "Filip Marić",
       "Fleury Mathias" -> "Mathias Fleury",
-      "Francisco Jose Chaves Alonso" -> "Francisco Jose CHAVES ALONSO",
+      "Francisco Jose CHAVES ALONSO" -> "Francisco Jose Chaves Alonso",
+      "Frederic Tuong (Dr)" -> "Frederic Tuong",
+      "Fulya" -> "Fulya Horozal",
       "George K." -> "George Karabotsos",
-      "Gidon ERNST" -> "Gidon Ernst",
+      "Gidon Ernst" -> "Gidon ERNST",
+      "Gransden, Thomas" -> "Thomas Gransden",
       "Hans-JÃrg Schurr" -> "Hans-Jörg Schurr",
       "Henri DEBRAT" -> "Henri Debrat",
       "Hitoshi Ohsaki (RTA publicity chair)" -> "Hitoshi Ohsaki",
+      "Häuselmann Rafael" -> "Rafael Häuselmann",
       "Isabelle" -> "",
+      "J. Juhas (TUM)" -> "Jonatan Juhas",
       "Jackson, Vincent (Data61, Kensington NSW)" -> "Vincent Jackson",
       "Janney, Mark-P26816" -> "Mark Janney",
-      "Jean François Molderez" -> "Jean-Francois Molderez",
+      "Jean François Molderez" -> "Jean-François Molderez",
+      "Jean-Francois Molderez" -> "Jean-François Molderez",
+      "John R Harrison" -> "John Harrison",
       "Jose DivasÃn" -> "Jose Divasón",
       "Julian" -> "",
       "Julien" -> "",
       "Klein, Gerwin (Data61, Kensington NSW)" -> "Gerwin Klein",
       "Kobayashi, Hidetsune" -> "Hidetsune Kobayashi",
+      "Kylie Williams (IND)" -> "Kylie Williams",
+      "Laarman, A.W." -> "A.W. Laarman",
       "Laurent Thery" -> "Laurent Théry",
+      "Li, Chanjuan" -> "Li Chanjuan",
       "Lochbihler Andreas" -> "Andreas Lochbihler",
+      "Luckhardt, Daniel" -> "Daniel Luckhardt",
       "Lutz Schroeder" -> "Lutz Schröder",
       "Lutz SchrÃder" -> "Lutz Schröder",
+      "MACKENZIE Carlin" -> "Carlin MACKENZIE",
       "Makarius" -> "Makarius Wenzel",
       "Marco" -> "",
       "Mark" -> "",
+      "Markus Mueller-Olm" -> "Markus Müller-Olm",
       "Markus" -> "",
+      "Marmsoler, Diego" -> "Diego Marmsoler",
       "Martin Klebermass" -> "Martin Klebermaß",
+      "Matthew" -> "",
       "Matthews, John R" -> "John Matthews",
+      "McCarthy, Jim (C3ID)" -> "Jim McCarthy",
+      "McCue, Brian" -> "Brian McCue",
       "Michael FÃrber" -> "Michael Färber",
-      "Moscato, Mariano M. \\(LARC-D320\\)\\[NATIONAL INSTITUTE OF AEROSPACE\\]" -> "Moscato, Mariano M.",
+      "Michel" -> "",
+      "Miranda, Brando" -> "Brando Miranda",
+      "Moscato, Mariano M. \\(LARC-D320\\)\\[NATIONAL INSTITUTE OF AEROSPACE\\]" -> "Mariano M. Moscato",
+      "Mr Julian Fell" -> "Julian Fell",
+      "Mueller Peter" -> "Peter Müller",
+      "Munoz, Cesar Augusto (LARC-D320)" -> "Cesar A. Munoz",
+      "Nadel, Alexander" -> "Alexander Nadel",
+      "Nagashima, Yutaka" -> "Yutaka Nagashima",
       "Norrish, Michael (Data61, Acton)" -> "Michael Norrish",
+      "O'Leary, John W" -> "John W O'Leary",
       "Omar Montano Rivas" -> "Omar Montaño Rivas",
       "Omar MontaÃo Rivas" -> "Omar Montaño Rivas",
       "OndÅej KunÄar" -> "Ondřej Kunčar",
       "PAQUI LUCIO" -> "Paqui Lucio",
+      "Pal, Abhik" -> "Abhik Pal",
+      "Pasupuleti, Vijay" -> "Vijay Pasupuleti",
       "Peter Vincent Homeier" -> "Peter V. Homeier",
       "Peter" -> "",
       "Philipp Ruemmer" -> "Philipp Rümmer",
       "Philipp RÃmmer" -> "Philipp Rümmer",
+      "RTA publicity chair" -> "",
       "Raamsdonk, F. van" -> "Femke van Raamsdonk",
       "Raul Gutierrez" -> "Raúl Gutiérrez",
       "Renà Thiemann" -> "René Thiemann",
+      "Ridgway, John V. E." -> "John V. E. Ridgway",
       "Roggenbach M." -> "Markus Roggenbach",
+      "Rosu, Grigore" -> "Grigore Rosu",
       "Rozman, Mihaela" -> "Mihaela Rozman",
+      "Schmaltz, J." -> "Julien Schmaltz",
       "Serguei A. Mokhov on behalf of PST-11" -> "Serguei A. Mokhov",
-      "[e-mail]" -> "[e-mail]",
+      "Serguei Mokhov" -> "Serguei A. Mokhov",
+      "Shumeiko, Igor" -> "Igor Shumeiko",
+      "Siek, Jeremy" -> "Jeremy Siek",
+      "[e-mail]" -> "Silvio Ranise\[e-mail]",
+      "Siu, Tony" -> "Tony Siu",
       "Stüber, Sebastian" -> "Sebastian Stüber",
       "Thiemann, Rene" -> "René Thiemann",
       "Thiemann, René" -> "René Thiemann",
+      "Thomas Arthur Leck Sewell" -> "Thomas Sewell",
       "Thomas Goethel" -> "Thomas Göthel",
-      "[e-mail]" -> "[e-mail]",
-      "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "Thomas Sewell\[e-mail]",
+      "[e-mail]" -> "Toby Murray\[e-mail]",
       "Urban, Christian" -> "Christian Urban",
+      "Ursula Eschbach" -> "",
+      "Van Staden Stephan" -> "Stephan van Staden",
       "Viktor Kuncak" -> "Viktor Kunčak",
       "Viorel Preoteasaa" -> "Viorel Preoteasa",
-      "[e-mail]" -> "[e-mail]",
+      "Wickerson, John P" -> "John Wickerson",
+      "Wong, Yat" -> "Yat Wong",
+      "YAMADA, Akihisa" -> "Akihisa Yamada",
       "YliÃs Falcone" -> "Yliès Falcone",
-      "[e-mail]" -> "[e-mail]",
-      "[e-mail]" -> "[e-mail]",
+      "amir mohajeri" -> "Amir Mohajeri",
+      "aniello murano" -> "Aniello Murano",
+      "barzan stefania" -> "Stefania Barzan",
+      "benhamou" -> "Belaid Benhamou",
+      "charmi panchal" -> "Charmi Panchal",
+      "chen kun" -> "Chen Kun",
+      "chunhan wu" -> "Chunhan Wu",
+      "daniel de la concepción sáez" -> "Daniel de la Concepción Sáez",
+      "[e-mail]" -> "[e-mail]",
+      "david streader" -> "David Streader",
+      "[e-mail]" -> "",
+      "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "[e-mail]",
       "gallais @ ensl.org" -> "Guillaume Allais",
-      "[e-mail]" -> "Florian Haftmann",
+      "geng chen" -> "Geng Chen",
+      "henning.seidler" -> "Henning Seidler",
       "hkb" -> "Hidetsune Kobayashi",
       "julien@RadboudUniversity" -> "",
+      "jun sun" -> "Jun Sun",
+      "jwang whu.edu.cn (jwang)" -> "jwang",
+      "kostas pouliasis" -> "Kostas Pouliasis",
+      "[e-mail]" -> "Kristof Teichel\[e-mail]",
+      "lucas cavalcante" -> "Lucas Cavalcante",
+      "mahmoud abdelazim" -> "Mahmoud Abdelazim",
+      "manish surolia" -> "Manish Surolia",
       "mantel" -> "Heiko Mantel",
+      "marco caminati" -> "Marco Caminati",
       "[e-mail]" -> "[e-mail]",
+      "michel levy" -> "Michel Levy",
+      "[e-mail]" -> "Michel Levy\[e-mail]",
       "nemouchi" -> "Yakoub Nemouchi",
+      "patrick barlatier" -> "Patrick Barlatier",
+      "patrick dabou" -> "Patrick Dabou",
+      "paul zimmermann" -> "Paul Zimmermann",
       "[e-mail]" -> "Andrei Popescu",
-      "[e-mail]" -> "Christian Urban",
+      "recruiting" -> "",
+      "roux cody" -> "Cody Roux",
+      "scott constable" -> "Scott Constable",
+      "[e-mail]" -> "Matthew Weidner\[e-mail]",
+      "[e-mail]" -> "Christian Urban\[e-mail]",
       "[e-mail]" -> "[e-mail]",
+      "vikram singh" -> "Vikram Singh",
       "[e-mail]" -> "[e-mail]",
+      "[e-mail]" -> "Benjamin Werner\[e-mail]",
+      "[e-mail]" -> "William Mansky\[e-mail]",
+      "[e-mail]" -> "Yakoub Nemouchi\[e-mail]",
       "ÐÑÐÐÐÑÐÐÐ ÐÐÐÐÐÐÐÑÐÐÐÑ ÐÐÐÑÐÐÐ" -> "",
       "∀X.Xπ - Tutorials about Proofs" -> "Bruno Woltzenlogel Paleo",
     ).withDefault(identity)
 
   def standard_author_info(author_info: List[String]): List[String] =
-    author_info.map(standard_name).filter(_.nonEmpty).distinct
+    author_info.flatMap(s => split_lines(standard_name.getOrElse(s, s))).distinct
 
   sealed case class Message(
     name: String,
     date: Date,
     title: String,

             case a :: _ => a.substring(0, a.indexOf('@')).replace('.', ' ')
             case Nil => error("Empty cluster")
           }
         }
 
+      val name_lowercase: String = Word.lowercase(name)
+
       def get_address: Option[String] = addresses.headOption
 
       def unique: Boolean = names.length == 1 && addresses.length == 1
       def multi: Boolean = names.length > 1 || addresses.length > 1
 

     def get_address(msg: Message): String =
       get_cluster(msg).get_address getOrElse error("No author address for " + quote(msg.name))
 
     def check(check_all: Boolean, check_multi: Boolean = false): Unit =
     {
-      val clusters = sorted.map(get_cluster).distinct.sortBy(_.name)
+      val clusters = sorted.map(get_cluster).distinct.sortBy(_.name_lowercase)
 
       if (check_all) {
         Output.writeln(cat_lines("clusters:" :: clusters.map(_.print)))
       }
       else {