[PPL-devel] ppl doc/definitions.dox doc/ppl.sty interfaces ...

Fri Aug 20 17:41:48 CEST 2004

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	ppl-0_6-branch
Changes by:	roberto at cs.unipr.it	2004-08-20 17:41:48

Modified files:
	doc            : definitions.dox ppl.sty 
	interfaces/Prolog: Prolog_interface.dox 

Log message:
	Merge from the main trunk.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=ppl-0_6-branch&r1=1.141&r2=1.141.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&only_with_tag=ppl-0_6-branch&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=ppl-0_6-branch&r1=1.111&r2=1.111.2.1