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
2010-04-05 12:20:59 +01:00
..
chr@91ad6583a1 upgrade to cuurent chr 2010-03-15 14:20:41 +00:00
CLPBN installation patches from Keri Harris 2010-03-05 08:15:02 +00:00
clpqr@dc903cf885 fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
cplint removed debug printf, changed module tptree name 2010-03-21 11:49:19 +01:00
jpl@cb4b299493 fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
PLStream fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
plunit fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
ProbLog fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi). 2010-04-05 12:20:59 +01:00
sgml fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
swi-minisat2 fix makefiles to define $exec_prefix 2010-03-05 10:22:48 +00:00
udi updates to UDI package 2009-04-02 17:34:42 +01:00