From f61ffe97078aab1e47ee1b7f212e707b0412e77e Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 6 Oct 2010 15:02:58 +0000 Subject: [PATCH] Removed tptp_grafite --- matita/configure.ac | 1 - 1 file changed, 1 deletion(-) diff --git a/matita/configure.ac b/matita/configure.ac index aa3d1b49a..d33d49f42 100644 --- a/matita/configure.ac +++ b/matita/configure.ac @@ -75,7 +75,6 @@ FINDLIB_COMREQUIRES="\ helm-disambiguation \ helm-grafite \ helm-grafite_engine \ -helm-tptp_grafite \ helm-ng_disambiguation \ helm-ng_cic_content \ helm-grafite_parser \ -- 2.39.2