Module: ppl/ppl Branch: ppl-1_0-branch Commit: 67824a44176b48b030a3f58f7424b317012b8287 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67824a44176b4...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 28 12:50:33 2012 +0200

Mark ChangeLog.

---

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

diff --git a/ChangeLog b/ChangeLog index 78886ab..8bc799b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2012-06-28 Roberto Bagnara bagnara@cs.unipr.it

+ * PPL 1.0 released. + +2012-06-28 Roberto Bagnara bagnara@cs.unipr.it + * doc/definitions.dox: Work around a Doxygen bug. Stick to ASCII.

2012-06-28 Roberto Bagnara bagnara@cs.unipr.it