# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1305648304 -7200
# Node ID aa8691f59e8f45cf6618233026f9119c19cd19c8
# Parent  559d9912ddedca0617c8720b2e423c12a5776238
Fix negation.

diff -r 559d9912dded -r aa8691f59e8f sml.py
--- a/sml.py	Tue May 17 18:04:06 2011 +0200
+++ b/sml.py	Tue May 17 18:05:04 2011 +0200
@@ -1,6 +1,6 @@
 """
 Name: sml - Simple Modal Logic Lib.
-Description: sml provides classes for simple modal logic formulae construction and reduction. It also features a buggy parser for the SML syntax.
+Description: sml provides classes for simple modal logic formulae construction and reduction. It also features a disfunctional parser for the SML syntax.
 Author: Eugen Sawin <sawine@informatik.uni-freiburg.de>
 """
 import re