[mercury-users] issue with the tutorial book.pdf
juliensf at csse.unimelb.edu.au
Mon Jun 28 18:21:14 AEST 2010
On Sat, 26 Jun 2010, Jean-Marc Vanel wrote:
> I installed release of the day 2010-06-23, on Ubuntu 10.4, and it does work.
> I have an issue with the tutorial book.pdf downloaded from the site.
> Every - (minus) character in the PDF is not a true minus ASCII
> character, as this shell command shows :
> echo mercury-users-request | od -c
> 0000000 m e r c u r y 342 210 222 u s e r s 342
> 0000020 210 222 r e q u e s t \n
> This is annoying when one wants to paste code from the PDF. Also the "
> (double quote) , and the _ (underline) are not correct.
Yes, we are aware of this. (If I can find time, I will add the tutorial
examples to the samples directory.)
> Typo in tutorial book.pdf : "Et voila!" should be "Et voilà!" .
> This problem does not occur in user manual locally generated by make
> :) . However it has an empty Table of Contents.
Thanks for pointing that out.
More information about the users