Improve error reporting

UMM-CSci / edsger

A simple proof checker for use in introductory logic courses.

http://umm-csci.github.io/edsger/

Other

6 stars 1 forks source link

Open real-mj-song opened 7 years ago

real-mj-song commented 7 years ago

Move the Validate button
Make parsing errors show only when hovering over a warning icon in the corresponding box

real-mj-song commented 7 years ago

We won't work on this until #36 is resolved.