On Thursday, February 13, 2020 at 6:33:20 AM UTC+1, Norman Megill wrote: > > On Thursday, February 13, 2020 at 12:14:44 AM UTC-5, Alexander van der > Vekens wrote: >> >> I also tried several URLs, but always get Version 0.180 (and tested it >> with minimizing axdc - the proof is always replaced by ax-dc, so the exe >> does not contain the bug fix): >> >> http://us.metamath.org/metamath/metamath.exe >> http://us.metamath.org/downloads/metamath.zip >> >> http://us2.metamath.org/metamath/metamath.exe >> http://us2.metamath.org/downloads/metamath.zip >> http://us2.metamath.org/downloads/metamath.tar.gz >> > >> So we have to wait for Norm (or the servers to be updated?) >> > > Sorry, I forgot to update metamath.exe. It should be in all of the us2 > files above now which I just regenerated. > The source files should have been 0.181 all along, though. > > OK, at least via http://us2.metamath.org/downloads/metamath.zip I've got version 0.181 now...
Alexander -- 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/7f1317d4-a9c0-4a10-b10f-7b719ab2f55d%40googlegroups.com.
