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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jun 27 08:36:53 2012 +0200

Notes fixed.

---

doc/ppl.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/ppl.bib b/doc/ppl.bib index 3783341..dac0a5f 100644 --- a/doc/ppl.bib +++ b/doc/ppl.bib @@ -1798,7 +1798,7 @@ Summarizing: Edition = "version 1.0 of {POLINE}", Month = sep, Year = 1995, - Note = "documentation taken from source code", + Note = "Documentation taken from source code.", }

@Article{HalbwachsPR97, @@ -1986,7 +1986,7 @@ Summarizing: Edition = "release 1.1.3c", Month = mar, Year = 2002, - Note = "documentation of the ``New Polka'' library.", + Note = "Documentation of the ``New Polka'' library.", }

@Article{Kuhn56,