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.

RIGUZZI FABRIZIO - Dipartimento di Ingegneria ce540b5dd4 Fixed compilation of cplint under new packages folder

2010-03-15 09:51:39 +01:00

..

chr @ 99090acf47

fix makefiles to define $exec_prefix

2010-03-05 10:22:48 +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

Fixed compilation of cplint under new packages folder

2010-03-15 09:51:39 +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 makefiles to define $exec_prefix

2010-03-05 10:22:48 +00: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