search

expln / metamath-lamp

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
https://expln.github.io/lamp/latest/index.html
MIT License
11 stars 4 forks source link

Duplicate up button #154

Closed CatsAreFluffy closed 10 months ago

CatsAreFluffy commented 11 months ago

It'd be nice to have a button to make a copy of a statement above that statement. You can already do this using expression selection, but that's slow for complicated statements.

CatsAreFluffy commented 11 months ago

The existing duplication operation is similar to what I'm proposing, but that leaves the original justification on the top copy, whereas duplicate up would leave it on the bottom copy.

expln commented 11 months ago

I plan to replace the existing "duplicate" button with two new buttons - one to duplicate down, another to duplicate up.

expln commented 11 months ago

This is ready on dev.