From: Enrico Tassi Date: Wed, 28 Jun 2006 08:11:22 +0000 (+0000) Subject: new mega spreadsheet available X-Git-Tag: make_still_working~7135 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a73c901041da5e759acb4a044acbe767e3b1624;hp=ed544f262a0de3560b1925c7cc03d40ea856455f;p=helm.git new mega spreadsheet available --- diff --git a/helm/software/matita/tests/TPTP/compare.ods b/helm/software/matita/tests/TPTP/compare.ods new file mode 100644 index 000000000..5b413b407 Binary files /dev/null and b/helm/software/matita/tests/TPTP/compare.ods differ diff --git a/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods b/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods deleted file mode 100644 index 11ebd0e94..000000000 Binary files a/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods and /dev/null differ