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

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2006-03-10 17:00:29

Modified files:
	doc            : README.doc devref.tex user.tex 

Log message:
	Followed the advice of the people at FSF: it should now be
	overwhelmingly clear that the documentation is distributed under the
	terms of the GNU Free Documentation License, Version 1.2 or any later
	version published by the Free Software Foundation.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&r1=1.20&r2=1.21