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
adjusted CASL parsing for FPL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14540 cec4b9c1-7d33-0410-9eda-942365e851bb
Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb
changed maintainer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11368 cec4b9c1-7d33-0410-9eda-942365e851bb
removed trace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8976 cec4b9c1-7d33-0410-9eda-942365e851bb
replaced @tzi with @informatik.uni-bremen git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb
moved notFollowedWith to Common.Lexer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7104 cec4b9c1-7d33-0410-9eda-942365e851bb
removed tabs, carriage returns and warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6637 cec4b9c1-7d33-0410-9eda-942365e851bb
Bugfixes im Parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6047 cec4b9c1-7d33-0410-9eda-942365e851bb
Keywords für Parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6001 cec4b9c1-7d33-0410-9eda-942365e851bb
Debug-Ausgaben git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6000 cec4b9c1-7d33-0410-9eda-942365e851bb
Trace Ausgaben git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5996 cec4b9c1-7d33-0410-9eda-942365e851bb
Bugfixes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5989 cec4b9c1-7d33-0410-9eda-942365e851bb
__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5988 cec4b9c1-7d33-0410-9eda-942365e851bb
Abstrakte Syntax + Parser implemntiert git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5986 cec4b9c1-7d33-0410-9eda-942365e851bb
removed duplicate instance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5981 cec4b9c1-7d33-0410-9eda-942365e851bb
added ConstraintCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5800 cec4b9c1-7d33-0410-9eda-942365e851bb