applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
ghc-7.2 requires language with flexible instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 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
cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13485 cec4b9c1-7d33-0410-9eda-942365e851bb
used `getRangeSpan` git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12191 cec4b9c1-7d33-0410-9eda-942365e851bb
allow reparsing restricted constraints git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10639 cec4b9c1-7d33-0410-9eda-942365e851bb
skip annotations around VSE keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10622 cec4b9c1-7d33-0410-9eda-942365e851bb
used rangeOfTerm and predSymbName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10344 cec4b9c1-7d33-0410-9eda-942365e851bb
allow mixfix predication as procedure call git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10343 cec4b9c1-7d33-0410-9eda-942365e851bb
added descriptions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10305 cec4b9c1-7d33-0410-9eda-942365e851bb
renamed functions over Range from Pos to Range git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb
consider longest match for VSE keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10066 cec4b9c1-7d33-0410-9eda-942365e851bb
allow to omit ELSE as ELSE SKIP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10063 cec4b9c1-7d33-0410-9eda-942365e851bb
treat ExtFORMULA like Quantification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10057 cec4b9c1-7d33-0410-9eda-942365e851bb
added VSE procedure decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10045 cec4b9c1-7d33-0410-9eda-942365e851bb
finished formula parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10044 cec4b9c1-7d33-0410-9eda-942365e851bb
parse and print proc defs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10042 cec4b9c1-7d33-0410-9eda-942365e851bb