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
Theofrastos Mantadelis 4359629681 ProblogBDD -> problogbdd
2010-09-29 18:43:48 +02:00
..
chr@2dad0025b6 iupdate pacjages 2010-06-21 11:55:57 +01:00
clib remove left-over files. 2010-08-05 22:35:16 +01: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 fixed compilation of simplecuddLPADs under windows 2010-07-30 12:36:13 +02:00
http fix Makefile to allow make install direct 2010-08-26 10:45:33 -05:00
jpl@f11e3d4368 fix make check to use $srcdir 2010-08-03 12:59:27 +01:00
PLStream improve SWI compatibility, especilaly for threaded stuff. 2010-08-04 11:37:12 +01:00
plunit fix messed up Makefile conventions 2010-06-04 22:59:31 +01:00
ProbLog ProblogBDD -> problogbdd 2010-09-29 18:43:48 +02: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 support for space reservation (goal: call gc before trying to insert very large terms). 2010-08-02 13:04:30 +01:00
sgml fix make check to use $srcdir 2010-08-03 12:59:27 +01:00
swi-minisat2 the sage of configuring everything goes on! 2010-06-21 11:54:21 +01:00
tai mingw compilation fixes 2010-08-04 18:05:46 +01:00
udi updates to UDI package 2009-04-02 17:34:42 +01:00
zlib fix DESTDIR issues (by Keri Harris). 2010-08-08 00:33:29 +01:00