Created folders
Added a first (almost empty) class.
Added Exception classes, classes for s-expressions.
backup commit (lunch)
Implemented SExprParser. Not tested yet.
backup commit (lunch)
Testing and debugging s-expression parser.
Further debugged and tested SExprParser, SExpression (toString).
Added JArgs lib.
backup commit (lunch)
Added various classes modelling formula parts. Not completely implemented yet.
Added line and column number information to s-expressions.
Added class for implications
Added some more classes for formula parts. (Still "empty")
Worked on FormulaParser, plus some collateral stuff.
backup commit (lunch)