I've just pulled the latest set.mm and launched a verify markup.
I get this error
The "Version of" date 19-Aug-2020 at the top of file
".../git/set.mm/set.mm" is less recent than the date
21-Aug-2020 in the description of statement "imadifss"
I've also checked the version online and it confirms the apparent
inconsistency.
Shouldn't Travis have prevented this? (sorry if I'm missing something
simple)
Glauco
--
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/cf934427-8f83-4f98-90c2-0984f5539cc1n%40googlegroups.com.
