CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@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=pp... 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.tex.diff?cvsroot=ppl&...