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.

Vitor Santos Costa c9e150bab7 fix PL_cleanup_fork (avoid two definitions).		2010-06-20 00:11:07 +01:00
..
chr@9d5a5f2fe5	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
clib	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
CLPBN	fix mess with LIBDIR and YAPLIBDIR	2010-06-01 00:38:42 +01:00
clpqr@b83af78bc6	fix messed up Makefile conventions	2010-06-04 22:59:31 +01:00
cplint	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
jpl@8b990918d7	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
PLStream	fix PL_cleanup_fork (avoid two definitions).	2010-06-20 00:11:07 +01:00
plunit	fix messed up Makefile conventions	2010-06-04 22:59:31 +01:00
ProbLog	use SO to make YAP makefiles closer to SWI's	2010-06-14 10:36:13 +01:00
pyswip	fix name for yap dll	2010-06-04 22:32:26 +01:00
sgml	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
swi-minisat2	fix makefiles t get extra dirs from configure (obs from Paulo Moura).	2010-06-19 14:49:04 +01:00
udi	updates to UDI package	2009-04-02 17:34:42 +01:00