[Termtools] how to download TPDB?

[Frédéric Blanqui]

Many thanks!

Le 30/05/2016 09:43, Ton-Chanh Le a écrit :
> 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 <http://comp.nus.edu.sg>
>
> On Mon, May 30, 2016 at 3:31 PM, Frédéric Blanqui 
> <frederic.blanqui at inria.fr <mailto: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 <mailto: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/70fd27cd/attachment.html>