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