Metamath-lamp version 14 released, now with undo

[David A. Wheeler]

Metamath-lamp version 14 has been released! This is minor update.

The main change is the addition of undo functionality.
By default the tool remembers the last 20 changes
(this is configurable). You can see those last states & restore the one you want.

For more information:

Application page (try it out): https://expln.github.io/lamp/latest/index.html
Documentation: https://lamp-guide.metamath.org/
Tutorial videos: https://www.youtube.com/playlist?list=PL1jSu6GGefBk3RhHW5Srpc2qxWMqhga9J
Source code repo (including issues and pull requests): https://github.com/expln/metamath-lamp

--- David A. Wheeler

[David A. Wheeler]

On Fri, 14 Jul 2023 20:44:09 -0400, "David A. Wheeler" <dwhe...@dwheeler.com> 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

[Marshall Stoner]

Cool.  Thanks.  I am just learning this tool.

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1qKVTB-0000X2-I8%40rmmprod07.runbox.