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
2014-02-18 07:59:47 +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@c6dae3b1cb keep on simplifying configure. 2014-02-18 07:59:47 +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@77759f8496 keep on simplifying configure. 2014-02-18 07:59:47 +00:00
ltx2htm@5c21d8fbe4 big makefile cleanup 2014-02-13 01:58:48 +00:00
meld fix Makefile 2014-02-16 15:20:07 +00:00
myddas change to support autoheaders 2014-02-16 13:03:09 +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@9becd0f061 more configuration fixes 2014-02-15 01:24:07 +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@abd65ae648 keep on simplifying configure. 2014-02-18 07:59:47 +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