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 83c5c7e7af more PFL support.

2012-09-26 00:04:58 +01:00

..

bdd

recognise weird trie.

2012-08-08 03:59:37 +01:00

chr @ 6dd05cb45b

update to newer releases.

2012-08-01 19:48:29 +01:00

clib @ 36cf483210

update package version.

2012-06-22 19:00:45 +01:00

CLPBN

more PFL support.

2012-09-26 00:04:58 +01:00

clpqr @ 23a8bc68df

update to newer releases.

2012-08-01 19:48:29 +01:00

cplint

fix lib64 issues

2012-08-22 10:07:33 -05:00

http @ c62502891b

update to newer releases.

2012-08-01 19:48:29 +01:00

jpl @ 8b75ad1bed

latest swi repo

2012-09-21 13:11:46 +01:00

meld

fix example path in meld.

2012-07-06 18:58:35 -05:00

pldoc @ 2a596b7cce

update to newer releases.

2012-08-01 19:48:29 +01:00

plunit @ 0bac35ec25

update to newer releases.

2012-08-01 19:48:29 +01:00

prism

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

ProbLog

speedup.

2012-08-08 03:59:06 +01:00

pyswip

mode changes

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

R @ a48f0a8a78

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

RDF @ 270146c1f4

new version.

2012-09-21 13:08:25 +01:00

real @ 758eb8d796

new commits.

2012-09-18 23:13:07 +01:00

semweb @ 824213ecd9

update to newer releases.

2012-08-01 19:48:29 +01:00

sgml @ 3550209643

update package version.

2012-06-22 19:00:45 +01:00

swi-minisat2

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

udi

fix YAP_AttOfVar

2012-05-21 17:24:40 +01:00

xml

allow installing examples by defult.

2012-07-07 09:43:07 -05:00

zlib @ 980a0b9950

update to newer releases.

2012-08-01 19:48:29 +01:00

Dialect.defs.in

SWI compatibility additions

2012-09-21 13:07:10 +01:00

Makefile.defs.in

better SWI support.

2012-02-13 09:41:22 +00:00