version 0.0.7 has been published. It supports a $getproof <label>
statement. This new feature serves as a counterpart to the mmj2 Ctrl+G functionality, allowing you to retrieve specific proofs effortlessly. A number of bugs have been fixed. Special thanks to @tirix for his precious feedback and contributing to the bug reports. -- 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/d73e2f5b-10d7-48f3-b088-052e1681853cn%40googlegroups.com.
