applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16407 cec4b9c1-7d33-0410-9eda-942365e851bb
allow empty text entries and test xmldiff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16283 cec4b9c1-7d33-0410-9eda-942365e851bb
added content test for axioms and theorems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16281 cec4b9c1-7d33-0410-9eda-942365e851bb
cleaned up elems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16274 cec4b9c1-7d33-0410-9eda-942365e851bb
support more add changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16263 cec4b9c1-7d33-0410-9eda-942365e851bb
corrected xpaths git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16256 cec4b9c1-7d33-0410-9eda-942365e851bb
continued own xml diff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16247 cec4b9c1-7d33-0410-9eda-942365e851bb
try to compute xml diffs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16240 cec4b9c1-7d33-0410-9eda-942365e851bb