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 a69a2442c9 fix \%		2013-11-08 23:48:57 +00:00
..
archive@9e22ca88f2	distributed commit	2013-11-04 01:18:43 +00:00
bdd	distributed configure	2013-11-03 23:55:09 +00:00
chr@fe49dc72a0	updates	2013-11-04 01:34:31 +00:00
clib@7012c230ce	BSD and __WINDOWS__	2013-11-04 15:30:34 +00:00
CLPBN	fix operator issues	2013-11-08 00:13:04 +00:00
clpqr@23a8bc68df	update to newer releases.	2012-08-01 19:48:29 +01:00
cplint	separate cplint and mpi interface.	2013-11-04 13:16:14 +00:00
cuda	fix missing return	2013-11-04 21:41:26 +00:00
gecode	configuration for gecode	2013-11-04 10:00:32 +00:00
http@c62502891b	update to newer releases.	2012-08-01 19:48:29 +01:00
jpl@da09001e2a	new version	2013-11-04 13:01:43 +00:00
meld	fix example path in meld.	2012-07-06 18:58:35 -05:00
odbc@db1645c121	updates	2013-11-04 01:39:20 +00:00
pldoc@1e324d30b9	fix compilation issues & up-to-date to recente SWI.	2013-02-17 07:32:55 -06:00
plunit@0bac35ec25	update to newer releases.	2012-08-01 19:48:29 +01:00
prism	thread fixes	2013-04-07 00:00:41 +01:00
ProbLog	fix \%	2013-11-08 23:48:57 +00:00
pyswip	python interface as a separate package	2012-11-02 22:37:27 +00:00
python	missing new files	2013-11-04 08:16:52 +00:00
R@87ea72e5db	fix Makefile trouble	2012-10-23 09:06:38 +01:00
RDF@9995994768	update swi.	2013-01-28 09:31:06 +00:00
real@3dc65d5502	fix in DESTDIR	2013-11-04 07:26:16 +00:00
semweb@3ed10e016d	merge	2013-03-10 17:17:58 +00:00
sgml@18647f78aa	fix compilation issues & up-to-date to recente SWI.	2013-02-17 07:32:55 -06:00
swi-minisat2	allow installing examples by defult.	2012-07-07 09:43:07 -05:00
udi@13ae724d30	Added uthash to store indexed predicates info	2012-12-27 12:11:14 +00:00
xml	allow installing examples by defult.	2012-07-07 09:43:07 -05:00
yap-lbfgs	make safe for overflow	2013-10-08 13:05:08 +01:00
zlib@044e8b33bf	distributed commit	2013-11-04 01:18:43 +00:00
Dialect.defs.in	try to improve jpl and zlib makefiles	2013-10-30 12:57:46 +00:00
Makefile.defs.in	better SWI support.	2012-02-13 09:41:22 +00:00