Undo and Redo Shortcuts!

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

https://rairlab.github.io/Peirce-My-Heart/

MIT License

8 stars 0 forks source link

Undo and Redo Shortcuts! #360

Closed RyanR712 closed 4 months ago

RyanR712 commented 5 months ago

Functionality is correct from my testing. Organization is probably not optimal. Particular attention would be appreciated for testing a bunch of different combinations of proof and draw tools. Marking ready for review