On Fri, 14 Jul 2023 20:44:09 -0400, "David A. Wheeler" <[email protected]> wrote:
> Metamath-lamp version 14 has been released! I know I said this is a minor update, but from the point of view of usability, I think this is an important change to the tool. The addition of undo means that you can change your mind. Thus users will feel more free to experiment. --- 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/E1qKVTB-0000X2-I8%40rmmprod07.runbox.
