From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Fri, 15 Nov 2013 00:02:25 +0000 (+0100)
Subject: Add support for a second engine, for showing simple refutations.
X-Git-Url: https://git.sesse.net/?p=remoteglot;a=commitdiff_plain;h=cf9785772b5dcb8de2376b4b1ab5951d868b3140;hp=cf9785772b5dcb8de2376b4b1ab5951d868b3140

Add support for a second engine, for showing simple refutations.
---