[Termtools] how to download TPDB?

Frédéric Blanqui frederic.blanqui at inria.fr
Mon May 30 09:31:49 CEST 2016


Hello.

The web page http://termination-portal.org/wiki/TPDB does not explain 
how to download the data base. Could you one tell me how to proceed and 
possibly fix the web page?

Best regards,

Frédéric.



More information about the Termtools mailing list