| a4e2cb5e16b7a247923449dff021c00517203137 |
|
31-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
some restructuring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6909 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7d16799c28f3aff58d26915dd9780ae0ddd6d3a3 |
|
19-Jul-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
video conference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6687 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fca4e81977d014b4741abb55ccea764a816d69e1 |
|
14-Jul-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
comments from the video conference on 13 July 2006
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6662 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4c4f5ba526d22b64f41e60d337d4e9fa2225e106 |
|
30-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
more questions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6404 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b174960844c6cffee9f29b6713874fcb85aa3407 |
|
11-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added another question
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6312 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1f26b5dc9560661522ef81a0acf8dc6c58011513 |
|
09-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added question about -interactive option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6296 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4611f3fd020e07a26864895f6bc9ca67925cbcb7 |
|
04-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
rephrased implied question
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6284 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c8efa210ca4b35576481afbddf4f1c7485799ef |
|
27-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion witth Klaus and Till
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6267 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 90450a246c1dcd10734986786cc035c445ae2447 |
|
19-Apr-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added advice on handling of conjunctions; corrected typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6215 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cda9a6c85e763522ac4ea19ac566d0d9566ed13b |
|
12-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
results of 1st video comference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6196 cec4b9c1-7d33-0410-9eda-942365e851bb |