| Sun, 28 Jun 2009 15:01:28 +0200 | immler | use X2TPTP optionally and only for remote_spass; | file | diff | annotate |
| Sat, 25 Apr 2009 20:31:27 +0200 | wenzelm | renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution; | file | diff | annotate | base |