-
Andrei Paskevich authored
thanks to Frédéric Herbreteau for the patch! The TPTP plugin does not load (Linux 64bit) when compiled with the Menhir library. For the moment, let us leave it as it is. The use of the library is not necessary and is off by default.
15ea5190