Thanks David. This should be debated (and there is no urgency), but I think it would be nice to have us.metamath.org purposefully "lagging" behind us2, in order to really have two different versions and be able to compare them. I do not know if the lagging should be expressed in terms of duration, or number/importance of commits, or if us2 should be updated with the "develop" branch and us with the "master" branch...
When I asked this to Norm a few years ago, he created the folder "http://us2.metamath.org:88/old/mpeuni/"; which contains somewhat older versions (but I do not know exactly how much older, nor if it is in terms of days or commits), and I sometimes find it convenient. If we have a consistent rule for us/us2, then this "old/" folder could be removed. Benoît -- 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/9cc26aa3-7618-48f8-baa0-f28f28521fc8n%40googlegroups.com.
