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 3794f21844 don't use old config.h, use general YAP config.h		2010-07-19 14:43:07 +01:00
..
chr@2dad0025b6	iupdate pacjages	2010-06-21 11:55:57 +01:00
clib	don't use old config.h, use general YAP config.h	2010-07-19 14:43:07 +01:00
CLPBN	make clp(bn) work again.	2010-06-30 17:54:58 +02:00
clpqr@b83af78bc6	fix messed up Makefile conventions	2010-06-04 22:59:31 +01:00
cplint	the sage of configuring everything goes on!	2010-06-21 11:54:21 +01:00
http	http package (only partially working)	2010-06-23 11:52:34 +01:00
jpl@f95f831a38	iupdate pacjages	2010-06-21 11:55:57 +01:00
PLStream	extensions to interface	2010-07-15 23:35:04 +01:00
plunit	fix messed up Makefile conventions	2010-06-04 22:59:31 +01:00
ProbLog	the sage of configuring everything goes on!	2010-06-21 11:54:21 +01:00
pyswip	pyswip was using old SWI function.	2010-06-30 17:53:26 +02:00
semweb	semweb and http compile now (but they don't work properly yet).	2010-07-15 23:35:37 +01:00
sgml	the sage of configuring everything goes on!	2010-06-21 11:54:21 +01:00
swi-minisat2	the sage of configuring everything goes on!	2010-06-21 11:54:21 +01:00
udi	updates to UDI package	2009-04-02 17:34:42 +01:00