Cool. Thanks. I am just learning this tool. On Fri, Jul 14, 2023 at 10:57 PM David A. Wheeler <[email protected]> wrote:
> 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 > . > -- 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/CAHUqWZbnNPuYjx4%2BriqO9YjgCqRXKE0ZMyWDGTedJYBekhEjVw%40mail.gmail.com.
