On December 26, 2019 10:26:28 PM EST, Mario Carneiro <[email protected]> wrote: >There was a change to the step format a while back to make it more >permissive to syntax errors, but it changed the meaning of single colon >statements from step:hyps to step:thm. So that means that you have to >write >4:3: instead of 4:3 if you want "3" to be interpreted as a hypothesis
Thanks, I had not noticed the change. We probably ought to change the tutorial files to match. --- David A.Wheeler -- 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/15E69BB4-961E-4384-82D5-FE7FCDD0CC85%40dwheeler.com.
