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 26c72dcfb1 include ww_browser

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

..

chr @ 9b0d051d7c

update packages.

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

clib @ f6fce31372

update packages.

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

CLPBN

flag unavailable before gcc-4.2

2011-06-11 23:07:02 +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 @ dd614178a5

use SWI flags.

2011-03-26 15:18:56 +00: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

PLStream

windows console fixes

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

plunit @ dcdc7f1292

use SWI flags.

2011-03-26 15:18:56 +00: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 @ a1f9f44c5d

update packages.

2011-06-13 01:45:59 +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