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 23be6ccdfc fix wide atom handling.

2011-08-12 11:52:47 -03:00

..

chr @ 59f3bce3c8

disable make_index for now.

2011-06-14 09:39:19 +01:00

clib @ c9493b2c73

fix changes

2011-08-09 08:12:52 -03:00

CLPBN

new version of belief propagation solver.

2011-07-22 21:33:30 +01:00

clpqr @ f71221999d

upgrade to latest SWI

2011-02-10 00:01:19 +00:00

cplint

more HAVE_CONFIG_H patches

2010-10-24 21:28:37 +02:00

http @ 2a0843683e

fix module stuff.

2011-07-22 14:50:32 +01:00

jpl @ 4f82114d41

upgrade to latest SWI

2011-02-10 00:01:19 +00:00

meld

export TermToStream

2011-05-25 13:10:39 +01:00

pldoc @ b1c05f2dfb

fix user-c spying.

2011-07-22 14:10:55 +01:00

PLStream

fix wide atom handling.

2011-08-12 11:52:47 -03:00

plunit @ 2daa5b9942

update swi packages.

2011-07-22 14:41:17 +01:00

ProbLog

fix ProbLog error.

2011-07-04 22:36:57 +01:00

pyswip

pyswip was using old SWI function.

2010-06-30 17:53:26 +02:00

R @ a9c5837d21

new package (pldoc) and updates to several other packages.

2011-06-14 09:17:55 +01:00

RDF @ a5d2a3755f

update swi packages.

2011-07-22 14:41:17 +01:00

semweb @ e3c7eb9a9a

fix calling of Write and Read for new SWI style interface.

2011-07-22 15:49:40 +01:00

sgml @ 17f0b15b0f

fix changes

2011-08-09 08:12:52 -03:00

swi-minisat2

patches from Keri Harris

2010-12-30 22:14:45 -06:00

udi

updates to UDI package

2009-04-02 17:34:42 +01:00

YapR @ a6646d0be1

for now go back to old tabling trailing

2011-04-15 10:48:24 +01:00

zlib @ 109bf1d224

update swi packages.

2011-07-22 14:41:17 +01:00

Dialect.defs.in

pldoc seems to be working in YAP.

2011-06-13 01:45:29 +01:00

Makefile.defs.in

support for documentation in packages.

2011-06-12 22:26:04 +01:00