Changes in SPASS-communications http://src.iws.cs.ovgu.de/source/rss/hets/doc/SPASS-communications en Copyright 2005 Java some restructuring git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6909 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/SPASS-communications - a4e2cb5e16b7a247923449dff021c00517203137 Klaus Luettich <luettich@informatik.uni-bremen.de> video conference git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6687 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/SPASS-communications - 7d16799c28f3aff58d26915dd9780ae0ddd6d3a3 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 /hets/doc/SPASS-communications - fca4e81977d014b4741abb55ccea764a816d69e1 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 /hets/doc/SPASS-communications - 4c4f5ba526d22b64f41e60d337d4e9fa2225e106 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 /hets/doc/SPASS-communications - b174960844c6cffee9f29b6713874fcb85aa3407 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 /hets/doc/SPASS-communications - 1f26b5dc9560661522ef81a0acf8dc6c58011513 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 /hets/doc/SPASS-communications - 4611f3fd020e07a26864895f6bc9ca67925cbcb7 Klaus Luettich <luettich@informatik.uni-bremen.de> discussion witth Klaus and Till git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6267 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/SPASS-communications - 7c8efa210ca4b35576481afbddf4f1c7485799ef Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 /hets/doc/SPASS-communications - 90450a246c1dcd10734986786cc035c445ae2447 Klaus Luettich <luettich@informatik.uni-bremen.de> results of 1st video comference git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6196 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/SPASS-communications - cda9a6c85e763522ac4ea19ac566d0d9566ed13b Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>