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.

Vítor Santos Costa a2fc06df36 update		2013-11-11 12:32:03 +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	Attached is a small patch to respect any LDFLAGS when building	2013-11-10 11:22:54 +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@3ea73d3b1d	update	2013-11-11 12:32:03 +00:00
jpl@27064dd73c	mac support.	2013-11-11 11:40:59 +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@34ef10c71d	update	2013-11-11 12:10:04 +00:00
plunit@0593a65587	update	2013-11-11 11:47:15 +00: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	win	2013-11-11 10:35:50 +00:00
R@87ea72e5db	fix Makefile trouble	2012-10-23 09:06:38 +01:00
RDF@5b577c8414	update	2013-11-11 11:47:04 +00:00
real@9ff05eaf6a	mac and win support	2013-11-11 11:42:57 +00:00
semweb@2505370b84	update	2013-11-11 12:30:32 +00:00
sgml@22db6b08d5	update	2013-11-11 12:31:11 +00: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	improve search in boot	2013-11-11 10:34:55 +00:00
Makefile.defs.in	better SWI support.	2012-02-13 09:41:22 +00:00