applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
extended ExtModal syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17060 cec4b9c1-7d33-0410-9eda-942365e851bb
extended by term modalities git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16852 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
correct haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13210 cec4b9c1-7d33-0410-9eda-942365e851bb
untabified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13202 cec4b9c1-7d33-0410-9eda-942365e851bb
Added ExtModal/Print_AS.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12645 cec4b9c1-7d33-0410-9eda-942365e851bb
Fixed errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12633 cec4b9c1-7d33-0410-9eda-942365e851bb
Fixed some errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12627 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12610 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12603 cec4b9c1-7d33-0410-9eda-942365e851bb
Changed ExtModal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12582 cec4b9c1-7d33-0410-9eda-942365e851bb
ExtModal changed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12579 cec4b9c1-7d33-0410-9eda-942365e851bb
ExtModal changed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12578 cec4b9c1-7d33-0410-9eda-942365e851bb
ExtModal directory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12577 cec4b9c1-7d33-0410-9eda-942365e851bb