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-05-05 16:31:08 +01:00
..
chr@12b02a09d6 update chr 2010-04-22 18:09:18 +01: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@9efaf4ce70 meta-expansion should be done before calling goal_expansion :( 2010-04-20 23:14:15 +01:00
PLStream define warning( in SWI emulation: just a stub for now. 2010-05-05 16:31:08 +01:00
plunit declare meta-predicate call arguments (Paulo Moura). 2010-04-22 20:45:57 +01:00
ProbLog fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi). 2010-04-05 12:20:59 +01:00
sgml try to run sgml tests. 2010-05-04 15:24:28 +01: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