[PPL-devel] ppl ./TODO demos/ppl_lpsol/ppl_lpsol.1 demos/p ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-10-26 15:20:12

Modified files:
	.              : TODO 
	demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol.c 
	                 ppl_lpsol_extra_man_text 
	devtools       : generate_man_pages 

Log message:
	Completed the man page of ppl_lpsol.  Other minor improvements.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.278&r2=1.279
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.diff?cvsroot=ppl&r1=1.87&r2=1.88
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol_extra_man_text.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_man_pages.diff?cvsroot=ppl&r1=1.2&r2=1.3