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.

U-WIN-U2045GN0RNQ\Vítor Santos Costa d173af8d2d fix

2011-10-21 19:14:04 +01:00

..

chr @ 59f3bce3c8

disable make_index for now.

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

clib @ e5f6f249be

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

CLPBN

small fixes

2011-09-24 21:39:37 +01:00

clpqr @ f71221999d

upgrade to latest SWI

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

cplint

new CPLint and ProbLog versions.

2011-09-15 15:49:06 +01:00

http @ b83111f016

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

jpl @ 4742393c91

fix

2011-10-21 19:14:04 +01:00

meld

export TermToStream

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

pldoc @ 504bef629e

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

plunit @ c969e90cb0

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

ProbLog

delete_file changed in 6.3.

2011-09-20 14:50:24 +01:00

pyswip

mode changes

2011-07-25 17:09:28 +01:00

R @ a9c5837d21

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

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

RDF @ ed9354de88

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

semweb @ 9c1ccd0d29

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

sgml @ 27608a1fc2

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

swi-minisat2

fix Makefile.in for minisat.

2011-09-06 21:18:30 +02: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 @ 1028ec3479

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

Dialect.defs.in

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00

Makefile.defs.in

upgrade to packages and to package docs.

2011-09-05 02:28:34 +02:00