[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