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
Vítor Santos Costa 0953ecc5d7 typo
2014-02-13 02:08:16 +00:00
..
archive@9e22ca88f2 distributed commit 2013-11-04 01:18:43 +00:00
bdd big makefile cleanup 2014-02-13 01:58:48 +00:00
chr@33b688ae73 big makefile cleanup 2014-02-13 01:58:48 +00:00
clib@10cbe41ff1 big makefile cleanup 2014-02-13 01:58:48 +00:00
CLPBN typo 2014-02-13 02:05:52 +00:00
clpqr@4aa1c28369 big makefile cleanup 2014-02-13 01:58:48 +00:00
cplint big makefile cleanup 2014-02-13 01:58:48 +00:00
cuda big makefile cleanup 2014-02-13 01:58:48 +00:00
gecode big makefile cleanup 2014-02-13 01:58:48 +00:00
http@c7aa381b57 big makefile cleanup 2014-02-13 01:58:48 +00:00
jpl@cb103a2ab6 big makefile cleanup 2014-02-13 01:58:48 +00:00
ltx2htm@5c21d8fbe4 big makefile cleanup 2014-02-13 01:58:48 +00:00
meld big makefile cleanup 2014-02-13 01:58:48 +00:00
myddas big makefile cleanup 2014-02-13 01:58:48 +00:00
odbc@90510fe601 big makefile cleanup 2014-02-13 01:58:48 +00:00
pldoc@8fa3a149b3 big makefile cleanup 2014-02-13 01:58:48 +00:00
plunit@8497465ab0 big makefile cleanup 2014-02-13 01:58:48 +00:00
prism big makefile cleanup 2014-02-13 01:58:48 +00:00
ProbLog typo 2014-02-13 02:08:16 +00:00
pyswip python interface as a separate package 2012-11-02 22:37:27 +00:00
python big makefile cleanup 2014-02-13 01:58:48 +00:00
R@87bb48410a big makefile cleanup 2014-02-13 01:58:48 +00:00
raptor@d5c70de04a configuration issues 2014-02-12 23:35:00 +00:00
RDF@f19e64df26 big makefile cleanup 2014-02-13 01:58:48 +00:00
real@34cac46db6 big makefile cleanup 2014-02-13 01:58:48 +00:00
semweb@e3c1b297ea big makefile cleanup 2014-02-13 01:58:48 +00:00
sgml@ca78af7cb0 big makefile cleanup 2014-02-13 01:58:48 +00:00
swi-minisat2 big makefile cleanup 2014-02-13 01:58:48 +00:00
udi@13ae724d30 Added uthash to store indexed predicates info 2012-12-27 12:11:14 +00:00
xml typo 2014-02-13 02:05:52 +00:00
yap-lbfgs big makefile cleanup 2014-02-13 01:58:48 +00:00
zlib@044e8b33bf clean up makefile 2014-02-10 23:31:33 +00:00
Dialect.defs.in big makefile cleanup 2014-02-13 01:58:48 +00:00
Makefile.defs.in latex to html translator port from SWi. 2013-11-18 01:21:21 +00:00