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.
yap-6.3/packages
2011-09-15 15:49:57 +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 improve memory usage when storing piointers to evidence facts. 2011-09-15 15:49:57 +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@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@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 new CPLint and ProbLog versions. 2011-09-15 15:49:06 +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