[PPL-devel] ppl/doc devref-c-interface.tex devref.tex user ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-04-30 12:54:56

Modified files:
	doc            : devref-c-interface.tex devref.tex 
	                 user-c-interface.tex user-prolog-interface.tex 
	                 user.tex 

Log message:
	Package inclusions updated.  We now set the `tocdepth' counter to 2
	in order to obtain a more useful index.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&r1=1.26&r2=1.27