[PPL-devel] ppl doc/definitions.dox doc/fdl.dox doc/gpl.do ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2003-03-06 11:13:52

Modified files:
	doc            : definitions.dox fdl.dox gpl.dox 
	interfaces/Prolog: Prolog_interface.dox 
	interfaces/C   : ppl_c.h 

Log message:
	Let the licence pages and the documentation of foreign language interfaces
	be grouped into ``modules'', so as to avoid spreading information in too
	many places of the user manual. We no longer have a ``PPL pages'' index.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.108&r2=1.109
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.79&r2=1.80
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.68&r2=1.69