History log of /hets/doc/spassGUI1.png
Revision Date Author Comments Expand
b62eead1a9a47ddee53f772c4a6ed97ada8178ec 20-Apr-2010 Christian Maeder <Christian.Maeder@dfki.de>

up-to-date screenshot of spass GUI git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13365 cec4b9c1-7d33-0410-9eda-942365e851bb
d5f04b6737d3915e93392078df68340366685348 21-Mar-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

provided new Mac OS X Screnshots and transferred one image from jpg to png git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7730 cec4b9c1-7d33-0410-9eda-942365e851bb