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.

Vítor Manuel de Morais Santos Costa 86715801bf fix missing stripostfix, and add stricmp (although one should use strcasecmp).		2009-11-23 13:41:07 +00:00
..
chr@c325e4564b	fix missing stripostfix, and add stricmp (although one should use strcasecmp).	2009-11-23 13:41:07 +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 missing stripostfix, and add stricmp (although one should use strcasecmp).	2009-11-23 13:41:07 +00:00
PLStream	fix missing stripostfix, and add stricmp (although one should use strcasecmp).	2009-11-23 13:41:07 +00:00
plunit	port of SWI-Prolog's plunit.	2009-11-23 10:55:10 +00:00
ProbLog	fix use of rm * when we have lots of examples.	2009-11-11 12:36:54 +00:00
sgml	fix passing LD	2009-10-16 08:09:50 +01:00
swi-minisat2	CXX not CPP, you idiot!	2009-11-18 09:53:38 +00:00
udi	updates to UDI package	2009-04-02 17:34:42 +01:00