Metamath-lamp version 13 released

[David Wheeler]

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