This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor Santos Costa d608966f46 add missing files		2010-07-19 22:42:37 +01:00
..
libtai	add missing files	2010-07-19 22:42:37 +01:00
Makefile.in	add tai package (and SWI interface).	2010-07-19 14:52:26 +01:00
pl-tai.c	add tai package (and SWI interface).	2010-07-19 14:52:26 +01:00