Nice work! Thanks for fixing "MetaMath" -> "Metamath". :) (The former sometimes gets confused w/ Chaitin's book.)
I agree w/ David that the XITS web fonts would look nicer, and it would also match the main site.. One problem with infinite scrolling is if there are many matches, it can be frustrating to have to press "end" over and over, not knowing how many are left, until it finally gets to the bottom. Unless you're just casually sampling the theorems, It is often important in Metamath to see all of the matches to determine the one you need. Suggestion: Can the number of matches found be shown at the top of the page? Perhaps have a sequence number next to each match so you know how many you've loaded and how many are left? Could there be a button or hot key that will load all matches? Norm -- 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/16b70dc2-1c8f-471c-9e26-7b53578c7f96%40googlegroups.com.
