On Friday, February 14, 2020 at 6:11:58 PM UTC-5, Norman Megill wrote: ... > > We have a more serious problem though. ~dral1ALT is not in job129.cmd, it > is in job124.cmd. When I checked, ~dral1ALT was in the old job129.cmd > before the bug fix. In my post > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ I wrote > that the min2020-jobs.zip file was updated, but it looks like your script > kept the old version: >
I mean my post https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/aI3Xc8w2BAAJ > > # Download jobs if not already downloaded > test -f min2020-jobs.zip || \ > wget http://us2.metamath.org/downloads/min2020-jobs.zip > > Unfortunately these jobs will have to be rerun. The theorems in > job133.cmd through job160.cmd were not changed so those runs shou OK. > > 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/8edf8c22-ccd9-4f60-8599-903224370d78%40googlegroups.com.
