Thank you, Norm. I am now seeing the 0.181 in metamath-program.zip. Norman Megill <n...@alum.mit.edu> 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. > > On the us server, except for metamath-program.zip (which I transferred by > hand), the files won't be updated for a day or so. > > > > > > Unfortunately, there is no exe in Github ( > > https://github.com/metamath/metamath-exe), but it could be reproduced > > from there... > > > > On Thursday, February 13, 2020 at 5:23:30 AM UTC+1, heiph...@wilsonb.com > > wrote: > >> > >> Hrm. For some reason both us and us2 are giving me the 0.180 hash. Is > >> this the > >> correct URL? > >> > >> http://us2.metamath.org/downloads/metamath-program.zip > > > > > This puzzles me. I just downloaded and unzipped this, and line 31 of the > file "metamath.c" says "0.181 12-Feb-2020". What does yours say? > > 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2K2MTPLRJ66BM.2XY2OVY1IYPF6%40wilsonb.com.