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

Change "statement" to "step" in the UI #89

Closed expln closed 1 year ago

expln commented 1 year ago

Change "statement" to "step" in the UI where applicable. See https://github.com/metamath/lamp-guide/issues/62#issuecomment-1585619398

david-a-wheeler commented 1 year ago

Hopefully implemented in #88

david-a-wheeler commented 1 year ago

I think you can close this issue, renaming those places is "ready-on-dev".

expln commented 1 year ago

I will close this and other "ready-on-dev" issues when they are in the "latest" version. I hope this will be soon.

david-a-wheeler commented 1 year ago

I think you can close this and all other ready-on-dev issues. Congrats!!

expln commented 1 year ago

Thank you! I was about to ask you to confirm that everything marked as ready-on-dev may be closed. I will close those issues soon.