Thu, 02 Feb 2012 19:41:58 +0100 | blanchet | improve SPASS scripts | file | diff | annotate |
Sat, 29 Oct 2011 13:15:58 +0200 | blanchet | always use DFG format to talk to SPASS -- since that's what we'll need to use anyway to benefit from sorts and other extensions | file | diff | annotate |
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 |