Add support for a second engine, for showing simple refutations.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 15 Nov 2013 00:02:25 +0000 (01:02 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 15 Nov 2013 00:02:25 +0000 (01:02 +0100)
commitcf9785772b5dcb8de2376b4b1ab5951d868b3140
tree1ed97899f54bcecee36944c71bc609aa85c56c3f
parent0888898bd6f2aa4897bd89e84fa0bfd6f05a5099
Add support for a second engine, for showing simple refutations.
remoteglot.pl