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=85218ea3e3710...

Author: Roberto Bagnara bagnara@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.&nbsp;Ancourt. <DT>[BA05]</DT> <DD> \anchor BA05 -J.&nbsp;M. Bj&oslash;rndalen and O.&nbsp;Anshus. +J.&nbsp;M. Bjorndalen and O.&nbsp;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.&nbsp;Bagnara, F.&nbsp;Mesnard, A.&nbsp;Pescetti, and E.&nbsp;Zaffanella. \anchor BMPZ12b R.&nbsp;Bagnara, F.&nbsp;Mesnard, A.&nbsp;Pescetti, and E.&nbsp;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>