FYI: I've determined that there have been 49 different contributors to set.mm, based on the work I did to create the Gource visualization.
I've added that information to the description of the Gource visualization, which means we have a citable source for places like Wikipedia. Details below. --- David A. Wheeler ========================================= First, I ran: cut -d '|' -f 2 changes-sorted.log | sort | uniq > ,contribs I then hand-edited to eliminate extra items: * "Gerard Lang" and "Gérard Lang" count as one person * "GlaucoSiliprandi" is a misspelling of "Glauco Siliprandi" (I'll submit a patch). * "O'Cat" should be "Mel L. O'Cat" (I'll patch that too). * I did not count "Prof. Loof Lirpa" (sorry professor :-) !). The final count was 49. -- 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/E1iHfiG-0001NB-FF%40rmmprod07.runbox.
