[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-01-28 11:29:20

Modified files:
	interfaces     : 
	                 ppl_interface_generator_common_procedure_list.m4 
	interfaces/Java/jni: 
	                     ppl_interface_generator_java_ppl_java_classes_cc_code.m4 
	interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 
	                  ppl_interface_generator_ocaml_ml_code.m4 
	                  ppl_interface_generator_ocaml_mli_code.m4 
Removed files:
	interfaces/Java: ppl_interface_generator_java_dat.m4 

Log message:
	Fixed bugs wrt the pointset powerset caused by the previous commit
	domain in the OCaml and Java interfaces.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_list.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_dat.m4.diff?cvsroot=ppl&r1=1.14&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc_code.m4.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.12&r2=1.13