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.

Tiago Gomes 6b0e125e3b Move MsgSchedule enum to inside class BeliefProp. ... Move also SPNodeInfo to inside BeliefProp. Improve also some using of enums.		2013-02-20 23:34:03 +00:00
..
archive@7984859c57	upstream	2013-01-25 09:32:48 +00:00
bdd	more progress	2012-11-27 12:10:41 +00:00
chr@d6fd44a4a8	install chr in bootstrap	2013-01-20 22:55:19 +00:00
clib@b813923455	new swi version.	2012-11-25 23:48:41 +00:00
CLPBN	Move MsgSchedule enum to inside class BeliefProp.	2013-02-20 23:34:03 +00:00
clpqr@23a8bc68df	update to newer releases.	2012-08-01 19:48:29 +01:00
cplint	fix lib64 issues	2012-08-22 10:07:33 -05:00
http@c62502891b	update to newer releases.	2012-08-01 19:48:29 +01:00
jpl@8b75ad1bed	latest swi repo	2012-09-21 13:11:46 +01:00
meld	fix example path in meld.	2012-07-06 18:58:35 -05:00
odbc@d9a8cdd6ac	upstream swi code	2013-01-25 09:32:17 +00:00
pldoc@9beecb3904	new versions.	2013-01-13 11:53:58 +00:00
plunit@0bac35ec25	update to newer releases.	2012-08-01 19:48:29 +01:00
prism	fix compilation MT in win32	2012-12-20 21:15:01 +00:00
ProbLog	speedup.	2012-08-08 03:59:06 +01:00
pyswip	python interface as a separate package	2012-11-02 22:37:27 +00:00
python	improve utf-8	2012-12-07 08:10:21 +00:00
R@87ea72e5db	fix Makefile trouble	2012-10-23 09:06:38 +01:00
RDF@79a369f81a	update	2013-01-18 14:34:15 +00:00
real@4452ed66c9	upstream	2012-12-20 21:41:06 +00:00
semweb@824213ecd9	update to newer releases.	2012-08-01 19:48:29 +01:00
sgml@3550209643	update package version.	2012-06-22 19:00:45 +01: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
zlib@980a0b9950	update to latest swi.	2013-01-24 13:14:07 +00:00
Dialect.defs.in	use uninstalled YAP with appropriated libs	2013-01-22 22:22:30 +00:00
Makefile.defs.in	better SWI support.	2012-02-13 09:41:22 +00:00