[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Work around a Doxygen bug. Stick to ASCII.

Roberto Bagnara bagnara at cs.unipr.it
Thu Jun 28 11:44:25 CEST 2012


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jun 28 11:33:19 2012 +0200

Work around a Doxygen bug.  Stick to ASCII.

---

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

diff --git a/doc/definitions.dox b/doc/definitions.dox
index f0ae250..cfb03dc 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2958,7 +2958,7 @@ C. Ancourt.
 <DT>[BA05]</DT>
 <DD>
 \anchor BA05
-J. M. Bjørndalen and O. Anshus.
+J. M. Bjorndalen and O. Anshus.
  Lessons learned in benchmarking - Floating point benchmarks: Can
   you trust them?
  In <em>Proceedings of the <em>Norsk informatikkonferanse 2005</em>
@@ -3471,7 +3471,7 @@ R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.
 \anchor BMPZ12b
 R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.
  A new look at the automatic synthesis of linear ranking functions.
- <em>Information and Computation</em>, 215:47-–67, 2012.
+ <em>Information and Computation</em>, 215:47-67, 2012.
 
 </DD>
 




More information about the PPL-devel mailing list