4 Commits

Author	SHA1	Message	Date
Vítor Santos Costa	cdd33b8c1a	new CPLint and ProbLog versions.	2011-09-15 15:49:06 +01:00
Fabrizio Riguzzi	63e0523a43	removed dependency from glu, now cplint depends only on CUDD	2010-07-27 17:55:52 +02:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria	ce540b5dd4	Fixed compilation of cplint under new packages folder	2010-03-15 09:51:39 +01:00
Vitor Santos Costa	9c9444bece	update package locations to a subdir packages	2009-02-16 12:23:29 +00:00