digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Add balanced-parenthesis detection when parsing. #4

Closed jn1z closed 7 years ago

jn1z commented 7 years ago

This makes the dreaded "Formula contains one or more grammatical parse errors" clearer when left- and right- parens are not balanced.

Remove a couple of unused methods and variables, and extract redundant code. Use principle-of-least-permissions for some methods.

Add basic Linux batch files.

jn1z commented 7 years ago

Thanks for the detailed review! I'll see if there are ways to resolve the issues you mentioned.