| Thu, 19 Dec 2013 10:15:12 +0100 | blanchet | simplified data structure | file | diff | annotate |
| Thu, 19 Dec 2013 09:28:20 +0100 | blanchet | tuning | file | diff | annotate |
| Mon, 16 Dec 2013 23:05:16 +0100 | blanchet | handle Skolems gracefully for SPASS as well | file | diff | annotate |
| Tue, 19 Nov 2013 16:48:50 +0100 | blanchet | refactored | file | diff | annotate |
| Thu, 11 Jul 2013 13:33:19 +0200 | smolkas | tuned | file | diff | annotate |
| Tue, 09 Jul 2013 18:44:59 +0200 | smolkas | moved code -> easier debugging | file | diff | annotate |