I'm wondering how to enhance the readability of the captions. Ideas: - Write the dates on the left of each line - Have scrolling, consecutive lines, the newer immediately above or below the previous one (currently, the way they appear on different lines and fade away is not very intuitive). - Have a more uniform formatting. For instance:
1993-05-21|Axiom: Axiom of Extensionality (ax-ext) 1993-05-26|Definition: Class builder abstraction (df-clab) 1994-08-07|Proof: Cantor's Theorem (canth2, Norman Megill), Metamath 100 #63 I.e.: - most lines begin with either "Axiom:" or "Definition:", "Proof:", "Article:", "Book:" - "added" is implied, so not worth writing it out - is it even necessary to write down the labels, which are often cryptic ? Benoît On Thursday, April 30, 2020 at 8:04:13 PM UTC+2, David A. Wheeler wrote: > > On Wed, 29 Apr 2020 20:59:26 -0400 (EDT), "David A. Wheeler" < > [email protected] <javascript:>> wrote: > > I have an updated Gource visualization of set.mm progress, and > > I plan to make it publicly visible tomorrow afternoon. You can see it > here: > > https://www.youtube.com/watch?v=JnXTuq6sos4&feature=youtu.be > > I've received a few comments, thanks for them! > > REQUEST: There are still some contributors I don't have a representative > image for. > They don't need to be your face; Mario uses a symbol. > If you can help me fill in any gaps that'd be great. > > I intend to respond to those comments & regenerate the video late this > weekend, > and then post the "real" updated version. > > --- 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/3577ed4b-56fd-40d8-b71b-6f68c4ff34f4%40googlegroups.com.
