| Sun, 05 Feb 2012 12:27:10 +0100 | blanchet | cleaned up new SPASS parsing | file | diff | annotate |
| Sat, 04 Feb 2012 12:08:18 +0100 | blanchet | the new SPASS gives accurate fact information, so no need for old hack anymore | file | diff | annotate |
| Thu, 02 Feb 2012 19:41:58 +0100 | blanchet | improve SPASS scripts | file | diff | annotate |
| Mon, 30 Jan 2012 17:18:58 +0100 | blanchet | new SPASS setup | file | diff | annotate |