applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb
joined variants git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16141 cec4b9c1-7d33-0410-9eda-942365e851bb
refactored navigation through devgraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14478 cec4b9c1-7d33-0410-9eda-942365e851bb
moved some lookup functions to DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14469 cec4b9c1-7d33-0410-9eda-942365e851bb
changed some lookup function names to more appropriate filter name, added substitution processing in CAD matching git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14455 cec4b9c1-7d33-0410-9eda-942365e851bb
new testing module for matching of design patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14377 cec4b9c1-7d33-0410-9eda-942365e851bb
added new module for development graph navigation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14376 cec4b9c1-7d33-0410-9eda-942365e851bb