CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@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.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&...