| 8d806c1392e09b4ac2917a7b536e390fcf1d6265 |
|
06-Mar-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed some serious bugs in DL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9704 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c827fed2bb995225b7b19eb673a40e207adf4bf6 |
|
20-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Predefined symbols are not visible for the user any longer; they are only added for static analysis; Thing is also added for taxonomy display
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8096 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ea6f4edb6ecdefe4bbe700b8bdc93942c95feaf8 |
|
09-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6295 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2033aff510a8af9722ea9928d5b10785c802ff0c |
|
24-Apr-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
additional test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6247 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 478b48030a6cbdefc35ddd31d5ccb0357331b6dd |
|
31-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
adapted to new StatAna.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6146 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cbea3f4c0de14871391f2e9f308e705ef0039eed |
|
15-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Logic and PredefinedSign.inline.hs:
* renamed dataSign into predefinedSign
Logic:
* corrected haddock comment
* minimalized export list
PredefinedSign:
* added sort Thing and pred Nothing as predefined
StatAna:
* enabled predefined global annotations
SyntaxTest:
* removed not longer neccessary global annos
* add test with empty basic spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6023 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0be0db405c49906bd7057255069bf6df53395ac9 |
|
08-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* added various todo items
* added support of bootstrapped predefined datatyes for CASL_DL
* improved CASL_DL testfile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5938 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 020292f4a997a0c012b687fed94c3bbdae5213d5 |
|
10-Feb-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
A file to test the syntax and static analysis of the CASL_DL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5804 cec4b9c1-7d33-0410-9eda-942365e851bb |