350ecae15e46bf68862ff950fdf2d7d295d3b777 |
|
10-Aug-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated some documentation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4889 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e55837a067d980c0b370e4cf1dcb9eb1f6f5d74 |
|
20-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Till's comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3983 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e4ef473f1544ada777d54307e4c5cb1882fbbf6 |
|
18-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Answers to some of Tills questions and replies to his comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3972 cec4b9c1-7d33-0410-9eda-942365e851bb |
23c8c476dba1eb8f900b9327b8d764c9013c0789 |
|
16-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Till's comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3962 cec4b9c1-7d33-0410-9eda-942365e851bb |
73e5a7717d33e96b2759e7656a0c33617100a45d |
|
11-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
THe initial version of the technical report which discusses issues and implementation details.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3925 cec4b9c1-7d33-0410-9eda-942365e851bb |