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
2012-08-29 16:36:46 -05:00
..
bdd recognise weird trie. 2012-08-08 03:59:37 +01:00
chr@6dd05cb45b update to newer releases. 2012-08-01 19:48:29 +01:00
clib@36cf483210 update package version. 2012-06-22 19:00:45 +01:00
CLPBN more small fixes. 2012-08-29 16:36:46 -05:00
clpqr@23a8bc68df update to newer releases. 2012-08-01 19:48:29 +01:00
cplint fix lib64 issues 2012-08-22 10:07:33 -05:00
http@c62502891b update to newer releases. 2012-08-01 19:48:29 +01:00
jpl@d3b6113d9f update to newer releases. 2012-08-01 19:48:29 +01:00
meld fix example path in meld. 2012-07-06 18:58:35 -05:00
pldoc@2a596b7cce update to newer releases. 2012-08-01 19:48:29 +01:00
plunit@0bac35ec25 update to newer releases. 2012-08-01 19:48:29 +01:00
prism allow installing examples by defult. 2012-07-07 09:43:07 -05:00
ProbLog speedup. 2012-08-08 03:59:06 +01:00
pyswip mode changes 2011-07-25 17:09:28 +01:00
R@a48f0a8a78 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
RDF@2d0bbe41cd update packages. 2012-02-13 09:43:50 +00:00
real@0acc051973 check for Rinterface.h 2012-08-02 19:53:43 -05:00
semweb@824213ecd9 update to newer releases. 2012-08-01 19:48:29 +01:00
sgml@3550209643 update package version. 2012-06-22 19:00:45 +01:00
swi-minisat2 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
udi fix YAP_AttOfVar 2012-05-21 17:24:40 +01:00
xml allow installing examples by defult. 2012-07-07 09:43:07 -05:00
zlib@980a0b9950 update to newer releases. 2012-08-01 19:48:29 +01:00
Dialect.defs.in fix lib64 issues 2012-08-22 10:07:33 -05:00
Makefile.defs.in better SWI support. 2012-02-13 09:41:22 +00:00