TODO 2001-08-19

- complete relative address resolution in Module2Html

- make address an attribut of TextInput

- new operator "DECLARE" for declaring a keyword that could be used
  further on, "ABBREVIATION" is an implicit declaration. Every
  mathematical operator and every proof rule must be declared before
  you could use it. Sometimes a declaration could have arguments:
  eg.: the rules of de Morgan require a reference to a proposition
  that proofes -(A & B) <=> -A v -B

- is getPartFormulaSize() neccessary, why don't use instance of Formula?

- allow no Counter with number==0

- change "Argument[] argument" into "Argument[] arguments"

- make TestXMLrunnable in normal enviornment

- generate basic classes or methods with generators:
  write down parsing rules and parse them to generate
  code

- change abbrevitation by not using pattern variables:
  a pattern variable shouldn't be created by ElementaryCreator
- allow different proofs: this means also use of different imports

- check entries of AbbrevitationList: do they use anything after
  (or in) current entry (check for recursivness)

- make new Abbrevitation for operators with variable
  argument number

- rename: AND -> LAND, OR -> LOR

- make new operators AND, OR with variable argument numbers

- more construction tests for proofs and their subarguments

- new tests for package tests

- new unit tests

- check all "TODO" s in source code

- new "definition" for predicate constants -> logic package

- adapt checkit doclet

- document PackageTest (and parameter -t)

- PackageTest: some more test files for Exceptions

- check error messages

- Input: add new Constructor for InputStream

- check: toString() must be final, if used in hashCode()

- set certain modifer to "protected" in certain methods of Argument
  (e.g. matchEnumerator)

- should PatternVariables be an Argument??? No!