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

[Ian MacLarty]

On Tue, Jun 29, 2010 at 9:03 PM, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> On Tue, Jun 29, 2010 at 05:09:38PM +1000, Ian MacLarty wrote:
>> On Tue, Jun 29, 2010 at 10:24 AM, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
>> > On Mon, Jun 28, 2010 at 06:21:14PM +1000, Julien Fischer wrote:
>> >>
>> >> 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.)
>> >>
>> >
>> > I intend to check to see if we can generate a HTML version of the tutorial via
>> > latex2html.  This may be more suitable as an online reference and allow people
>> > to copy-and-paste code examples from it.
>> >
>>
>> I propose using the verbatim environment for program listings.  This
>> will make it much clearer what needs to be typed in to get the program
>> to work and should enable copy and pasting directly from the pdf.
>> Would there be any objections to me making that change?
>>
>
> I support this change.
>

I've committed that change.  Not sure if I should be posting book
diffs to mercury-reviews.  I'll update the website shortly.

Ian.

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------