I have what I *think* is the final draft of the Gource visualization: https://www.youtube.com/watch?v=LVGSeDjWzUo&feature=youtu.be
This video is currently "unlisted". If I don't hear of any problems, I intend to make it "official" this Tuesday PM (Eastern time) by making it listed. The biggest change is in the captions - they now show the date & have a regularized format. This visualization includes some visual modifications that aren't yet merged into the "develop" branch: https://github.com/metamath/set.mm/pull/1636 https://github.com/metamath/set.mm/pull/1635 --- David A. Wheeler -- 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/E1jV5Yg-00030m-GQ%40rmmprod06.runbox.
