On Fri, 1 May 2020 05:09:07 -0700 (PDT), Benoit <[email protected]> wrote: > I'm wondering how to enhance the readability of the captions. Ideas: > - Write the dates on the left of each line
I could do that! That will make them a little longer on the display, but not much more. > - 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). That's a cool idea, but that would require significant modifications of the Gource program. Gource is open source software, so it's possible, but that's more than I plan to do. If you feel like contributing the Gource project to add that, I suspect they'd love it. Repo is here: https://github.com/acaudwell/Gource Adding the dates will hopefully partially compensate for the lack of that. > - 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 Good idea. > - is it even necessary to write down the labels, which are often cryptic ? None of this is *necessary*. But I thought including the labels would make it easier for people to see or verify the information, in case they were interested. Labels are short, so it doesn't take much space. --- 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/E1jUUt6-0001eY-ED%40rmmprod06.runbox.
