[Termtools] how to download TPDB?

[Ton-Chanh Le]

Hi,

You just need to run the command

hg clone http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB

Best Regards,

Le Ton Chanh
Email: chanhle at comp.nus.edu.sg

On Mon, May 30, 2016 at 3:31 PM, Frédéric Blanqui <frederic.blanqui at inria.fr
> wrote:

> 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.
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20160530/505204f3/attachment.html>