Final (?) draft Gource visualization of set.mm
21 views
Skip to first unread message
David A. Wheeler
May 2, 2020, 11:44:53 PM5/2/20
to metamath
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
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
Reply all
Reply to author
Forward
0 new messages