[PPL-devel] ppl/interfaces/Prolog Ciao/ciao_pl_check.pl XS ...

Mon Sep 15 10:51:57 CEST 2008

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-09-15 10:51:57

Modified files:
	interfaces/Prolog/Ciao: ciao_pl_check.pl 
	interfaces/Prolog/XSB: xsb_pl_check.P 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_code.m4 

Log message:
	Ensure predicates such as ppl_set_rounding_for_PPL
	that are used and tested in pl_check.pl are in
	the module/import lists for Ciao and XSB.
	Remove the bounding box predicates that are no longer generated
	from the same lists.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&r1=1.78&r2=1.79