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 53f76eb198 fix Makefile

2011-06-14 11:13:32 +01:00

..

chr @ 59f3bce3c8

disable make_index for now.

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

clib @ f6fce31372

update packages.

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

CLPBN

disable make_index for now.

2011-06-14 09:39:19 +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 @ 3f7eee803d

fix Makefilew

2011-06-14 09:41:20 +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 @ d418910711

fix Makefile

2011-06-14 11:13:32 +01:00

PLStream

windows console fixes

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

plunit @ aa90b8f8a6

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

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

ProbLog

corrected an import bug

2011-02-08 15:57:23 +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 @ cee6c346ba

update packages.

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

semweb @ 2229eb3807

recent versions of packages.

2011-03-22 09:32:59 +00:00

sgml @ babcbfe9cc

include ww_browser

2011-06-13 01:57:15 +01:00

swi-minisat2

patches from Keri Harris

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

tai

fix pl-tai

2011-03-09 13:05:03 +00: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 @ deea4bfdf7

ZLIB support

2011-03-15 18:16:05 +00: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