[PPL-devel] ppl interfaces/Prolog/clpq2.pl interfaces/Prol ...

Roberto Bagnara roberto at spartacus.cs.unipr.it
Mon Aug 12 08:56:23 CEST 2002


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-08-12 08:56:23

Modified files:
	interfaces/Prolog: clpq2.pl expected2 
	interfaces/Prolog/XSB: expected2 
	src            : ConSys.cc Constraint.cc Constraint.inlines.hh 
	                 GenSys.cc Generator.cc Generator.inlines.hh 
	                 Matrix.cc Matrix.defs.hh Polyhedron.cc 
	                 Polyhedron.inlines.hh minimize.cc 

Log message:
	Avoid using LaTeX commands in ordinary C++ comments.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.39&r2=1.40
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.39&r2=1.40
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.197&r2=1.198
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22




More information about the PPL-devel mailing list