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. 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>