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.

Theofrastos Mantadelis 9ee83ddf6c problog examples fix

2010-12-02 15:04:42 +01:00

..

chr @ 2dad0025b6

iupdate pacjages

2010-06-21 11:55:57 +01:00

clib

process needs maplist (obs from Nicos).

2010-11-24 08:42:26 +00:00

CLPBN

make clp(bn) work again.

2010-06-30 17:54:58 +02:00

clpqr @ 5d26318833

FIXED: make install clpqr was broken if we used local install_sh

2010-08-04 22:35:57 +01:00

cplint

more HAVE_CONFIG_H patches

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

http

more HAVE_CONFIG_H patches

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

jpl @ 73e4e086d0

doc fixes

2010-10-24 21:26:49 +02:00

PLStream

more HAVE_CONFIG_H patches

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

plunit

fix messed up Makefile conventions

2010-06-04 22:59:31 +01:00

ProbLog

problog examples fix

2010-12-02 15:04:42 +01:00

pyswip

pyswip was using old SWI function.

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

RDF

allow saving and restoring current arguments to/from slots.

2010-08-04 17:36:20 +01:00

semweb

hack to fix differences in SWI compatibility.

2010-11-30 22:33:12 +00:00

sgml

more HAVE_CONFIG_H patches

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

swi-minisat2

more HAVE_CONFIG_H patches

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

tai

Fixed make clean bug for the tai package (reported by Roberto Bagnara).

2010-11-29 15:36:23 +00:00

udi

updates to UDI package

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

zlib

more HAVE_CONFIG_H patches

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