Metamath-lamp version 13 has been released! This is minor update. The main change is the addition of syntax-aware "paste" functionality in the fragment selector. It's a small change in functionality, but this change makes it much easier to do syntax-aware copying and pasting (especially if you're using a smartphone). It's been tested & known to work on Safari, Chrome, and Firefox.
Other changes: * Minor improvement in bottom-up prover * Clearer selection dialogue for selecting step type, that is, (essential) hypothesis vs. provable vs. goal. 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/E1qIVJc-0002oD-Ok%40rmmprod07.runbox.
