Module: ppl/ppl Branch: master Commit: 114f0e38474584e74743f67fd1203487241b60e8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e3847458...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 9 13:36:12 2010 +0400

Updated.

---

doc/devref-language-interface.doxyconf.in | 97 ++++++++++-------- doc/devref.doxyconf-html.in | 155 +++++++++++++++------------- doc/devref.doxyconf-latex.in | 157 +++++++++++++++-------------- doc/user-language-interface.doxyconf.in | 97 ++++++++++-------- doc/user.doxyconf-html.in | 103 ++++++++++--------- doc/user.doxyconf-latex.in | 105 +++++++++++--------- 6 files changed, 384 insertions(+), 330 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=114f0e384...