union exclusive started
Merge pull request #5 from mpetris/master

latest features and bugfixes
Merge pull request #6 from mpetris/master

performance tuning tagdef deletion
Merge pull request #7 from mpetris/master

latest features and bugfixes
Merge pull request #8 from mpetris/master

latest features, bugfixes and documentation
Merge pull request #9 from mpetris/master

latest features, bugfixes and documentation
issue #81

in progress
parser neu generiert
issue #81

fixed
Merge remote-tracking branch 'origin/master' into f81
started implementation of DBMaintainer job
db maintenance cont.
upgrade to jetty 7.6.14
db maintenance cont.
Merge branch 'master' into db_mte
index maintenance cont.
comment modified
cleanup stale sourcedocument files
session maintenance
testing and finetuning of maintenance tools