Below is the list of those contributors to set.mm ("Contributed by",
"Modified by", and so on) up to this point.
I just realized I should have *listed* this in my previous email,
so I'm fixing that now.In the process I realized that we have 48 contributors, not 49. I just realized that "Jeffrey Hankins" and "Jeff Hankins" are duplicates. "Jeff" is far more common (409 vs. 17), but "Jeffrey" is the recommended name at the top. So for the moment I'll list both below & wait for M. Hankins to tell us which name he'd prefer going forward. If anyone notices other duplicates, please let me know! I've cleaned up the list by adding accents where they should be, removing duplicates, removing the "professor" :-), and sorting it alphabetically. If someone uses a pseudonym (e.g., for privacy), I respect that as always. The individual "rpenner" (who contributed geoisumr on 3-Nov-2007) doesn't follow the initial-caps naming convention, but that's the name in set.mm so I retained it as-is. --- David A. Wheeler ========================================= Alan Sare Alexander van der Vekens Andrew Salmon Anthony Hart Benoit Jubin Brendan Leahy Chen-Pang He David A. Wheeler David Abernethy David Harvey David Moews Drahflow Eric Schmidt Fan Zheng Filip Cernatescu Frédéric Liné Gérard Lang Giovanni Mascellani Glauco Siliprandi Gregory Bush Jarvin Udandy Jason Orendorff Jeff Hankins Jeff Hoffman Jeff Madsen Jeffrey Hankins Jerry James Jim Kingdon Jon Pennant Jonathan Ben-Naim Jonathan Yan Josh Purinton Juha Arpiainen Mario Carneiro Mel L. O'Cat Norman Megill Paul Chapman Raph Levien Rodolfo Medina Roy F. Longton rpenner Saveliy Skresanov Scott Fenton Stefan Allan Stefan O'Rear Steve Rodriguez Szymon Jaroszewicz Thierry Arnoux Wolf Lammen -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iHg9j-0003HA-AF%40rmmprod07.runbox.
