[mercury-users] Mercury book

[Wendelin Reich]

Dear Ralph,

> Better: I'm nearly finished the first draft of the Mercury book.  You
> can download what's in the Mercury CVS repository under
books/tutorial.

Following the instructions at
http://www.cs.mu.oz.au/research/mercury/information/developers/remote_cv
s.html I downloaded your book with

cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository
checkout books/tutorial

and texed it, but it seems I got an outdated version (from 2001/10/15
with lotsa empty pages). Can you tell me where I find the draft you
mentioned? I would really like to have a look at it!

Best wishes, Wendelin



--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------