Added sonatype parent.
Added maven requirement.
Developer and mailing list metadata.
Removed old comment.


git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1105 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
1.3.8.1 release.


git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1106 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
Prepare for 1.3.8.2-SNAPSHOT iteration.


git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1107 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
changed empty chain test

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1108 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
changed empty chain test

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1109 6b6e81c3-f1c2-4030-a0a9-a0569132be5c
fixed two bugs in handling rationals (parsing a rational with + sign caused a parsing error and the case for comparing a BigRational with something else was not implemented, the switch fell through to the default case which was an error), introduced enums for the number types to improve code readability

git-svn-id: svn://edison.comlab.ox.ac.uk/krr/2008/HermiT/trunk@1110 6b6e81c3-f1c2-4030-a0a9-a0569132be5c