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