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
12 stars 5 forks source link

Implement "paste" command for statement fragments #130

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

This is a start at implementing the "paste" command. I"ve stubbed out copying from the clipboard.

david-a-wheeler commented 1 year ago

I've been struggling to figure out how to get the string from the clipboard in ReScript, so I've stubbed it out.

It's not a lot of code, but my goal is to get better enough over time to be actually helpful.

Comments are of course quite welcome.

david-a-wheeler commented 1 year ago

Thanks so much for the information & review. I think it's ready.

expln commented 1 year ago

Thank you David! I will deploy it to dev soon.