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 -- 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/B7493F56-321E-493A-87F6-D4880C1A83B4%40dwheeler.com.
