Here is the current status, Feb 14 7:25AM EST *101 Alexander (complete) *102 heiphohmia (complete) *103-111 David Starner (complete) 112 David A. Wheeler (in progress) 113-116 heiphohmia (in progress) 117-122 Giovanni (in progress) 123-124 Mario (in progress) 125-132 David A. Wheeler (in progress) 133-135 David Starner (in progress) *136 David Starner (complete) 137 David Starner (in progress) *138-143 David Starner (complete) 144-151 David A. Wheeler (in progress) 152-155 David Starner (in progress) 156-160 UNASSIGNED
Here are the current instructions: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/aI3Xc8w2BAAJ that point to the set.mm version we should use. See David A. Wheeler's post https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/CJSwJ7p8BAAJ if you want to use his script. Here are my (possibly wrong) time estimates for jobs 133-160: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/WmovUJiKBAAJ 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/d5650c98-3b63-45d9-ac1b-2a26279077f1%40googlegroups.com.
