CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-10-12 09:21:45

Modified files: doc : bib2dox definitions.dox Added files: doc : bib2html1.sed bib2html2.sed Removed files: doc : bib2html2dox.sed

Log message: Improvements to the machinery we use to build the bibliography section of the documentation.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2dox.sed.diff?cvsr...