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 d93b24920d fix bad library order		2010-01-15 01:02:24 +00:00
..
chr@c325e4564b	fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira).	2010-01-11 15:44:43 +00:00
CLPBN	minor changes to CLP(BN).	2009-10-21 00:05:23 +01:00
clpqr@e3ee70d597	support exporting top-level-work as absolute path	2009-05-02 14:11:54 -05:00
cplint	added PICL program	2009-06-27 11:54:33 +02:00
jpl@a2d2f03107	fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira).	2010-01-11 15:44:43 +00:00
PLStream	fix missing stripostfix, and add stricmp (although one should use strcasecmp).	2009-11-23 13:41:07 +00:00
plunit	fix bad library order	2010-01-15 01:02:24 +00:00
ProbLog	fix install of ProbLog.	2010-01-15 00:31:26 +00:00
sgml	fix passing LD	2009-10-16 08:09:50 +01:00
swi-minisat2	more CXX stuff: will it ever end?	2009-12-10 23:47:34 +00:00
udi	updates to UDI package	2009-04-02 17:34:42 +01:00