Thu, 19 Aug 2010 11:29:53 +0200 | blanchet | added remote SInE and remote SNARK | changeset | files |
Thu, 19 Aug 2010 11:02:59 +0200 | blanchet | no spurious trailing "\n" at the end of Sledgehammer's output | changeset | files |
Wed, 18 Aug 2010 20:53:55 +0200 | blanchet | don't get confused by wrong slice | changeset | files |