1.1.0

This release fixes a critical bug in CD (constructive dilemma) and DD (destructive dilemma) rules for natural deduction, as well as the stack overflow exception thrown by the parse tree viewer.

Official release

1.0

Updated README again.