[PPL-devel] ppl Watchdog/src/.cvsignore Watchdog/src/Makef ...

Roberto Bagnara bagnara at cs.unipr.it
Sat Feb 11 11:34:15 CET 2006


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2006-02-11 11:34:14

Modified files:
	Watchdog/src   : .cvsignore Makefile.am 
	interfaces/Prolog: ppl_prolog.icc 
	interfaces/Prolog/Ciao: ppl_ciao.cc 
	interfaces/Prolog/GNU: ppl_gprolog_sd.cc 
	interfaces/Prolog/SICStus: ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 
	tests/Polyhedron: watchdog1.cc 

Log message:
	We now directly create `pwl.hh': `pwl_install.hh' does not exist any
	longer.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/.cvsignore.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.175&r2=1.176
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&r1=1.45&r2=1.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog_sd.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.90&r2=1.91
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.120&r2=1.121
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.85&r2=1.86
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.113&r2=1.114
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8




More information about the PPL-devel mailing list