[mercury-users] Mercury book

Wendelin Reich wreich at gmx.net
Sat Feb 8 04:17:47 AEDT 2003

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

Following the instructions at
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

More information about the users mailing list