Sat, 29 Oct 2011 13:15:58 +0200 | blanchet | gracefully do nothing if the SPASS input file is already in DFG format | file | diff | annotate |
Mon, 22 Aug 2011 15:02:45 +0200 | blanchet | gracefully handle empty SPASS problems | file | diff | annotate |
Fri, 07 Jan 2011 23:10:33 +0100 | wenzelm | allow spaces in $SPASS_HOME value; | file | diff | annotate |
Wed, 28 Jul 2010 19:01:34 +0200 | blanchet | rename directory | file | diff | annotate | base |