[mercury-users] issue with the tutorial book.pdf

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Jun 28 18:21:14 AEST 2010


Hi,

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

Cheers,
Julien.


More information about the users mailing list