.. |
CLPBN
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
ProbLog
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
R@87ea72e5db
|
fix Makefile trouble
|
2012-10-23 09:06:38 +01:00 |
RDF@5b577c8414
|
fix bad pruning in meta-call
|
2013-11-16 23:08:17 +00:00 |
archive@9e22ca88f2
|
distributed commit
|
2013-11-04 01:18:43 +00:00 |
bdd
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
chr@fe49dc72a0
|
updates
|
2013-11-04 01:34:31 +00:00 |
clib@ab6b1a70db
|
fix missing packages
|
2014-02-11 13:31:53 +00:00 |
clpqr@23a8bc68df
|
update to newer releases.
|
2012-08-01 19:48:29 +01:00 |
cplint
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
cuda
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
gecode
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
http@3ea73d3b1d
|
fix bad pruning in meta-call
|
2013-11-16 23:08:17 +00:00 |
jpl@f96cfb7533
|
fix missing packages
|
2014-02-11 13:31:53 +00:00 |
ltx2htm@a208a6e52d
|
fix relative path in latex2html
|
2013-11-21 11:35:35 +00:00 |
meld
|
fix example path in meld.
|
2012-07-06 18:58:35 -05:00 |
myddas
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
odbc@db1645c121
|
updates
|
2013-11-04 01:39:20 +00:00 |
pldoc@1e324d30b9
|
fix missing packages
|
2014-02-11 13:31:53 +00:00 |
plunit@0593a65587
|
fix bad pruning in meta-call
|
2013-11-16 23:08:17 +00:00 |
prism
|
Windows fixes, mainly H -> HB
|
2014-01-19 21:15:05 +00:00 |
pyswip
|
python interface as a separate package
|
2012-11-02 22:37:27 +00:00 |
python
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
raptor@d5c70de04a
|
clean up makefile
|
2014-02-10 23:31:33 +00:00 |
real@6235790ec8
|
fix missing packages
|
2014-02-11 13:31:53 +00:00 |
semweb@2505370b84
|
fix bad pruning in meta-call
|
2013-11-16 23:08:17 +00:00 |
sgml@22db6b08d5
|
fix bad pruning in meta-call
|
2013-11-16 23:08:17 +00:00 |
swi-minisat2
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
udi@13ae724d30
|
Added uthash to store indexed predicates info
|
2012-12-27 12:11:14 +00:00 |
xml
|
allow installing examples by defult.
|
2012-07-07 09:43:07 -05:00 |
yap-lbfgs
|
make safe for overflow
|
2013-10-08 13:05:08 +01:00 |
zlib@a8a43aa098
|
clean up makefile
|
2014-02-10 23:31:33 +00:00 |
Dialect.defs.in
|
win32 support
|
2014-01-22 18:13:43 +00:00 |
Makefile.defs.in
|
latex to html translator port from SWi.
|
2013-11-18 01:21:21 +00:00 |