Module: ppl/ppl Branch: ppl-1_1-branch Commit: dacf2193128a992f330ebfb76793dbd01d3efabe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dacf2193128a9...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Mon Oct 28 13:30:13 2013 +0100

Updated.

---

ChangeLog | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog index 6fd2e9e..3b08901 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,24 @@ 2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com

+ * doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in, + doc/user-language-interface.doxyconf.in, doc/user.doxyconf-html.in, + doc/user.doxyconf-latex.in: Updated. + +2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com + + * src/globals_defs.hh: Worked around a Doxygen bug. + +2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com + + * NEWS: Updated. + +2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com + + * ChangeLog: Updated. + +2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com + * doc/definitions.dox: Label updated.

2013-10-28 Roberto Bagnara roberto.bagnara@bugseng.com