CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-03-20 12:47:50 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added code in the Prolog interface for the refine_with methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.70&r2=1.71 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.17&r2=1.18 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.64&r2=1.65