[mercury-users] LaTeX style for typesetting Mercury?

[Dominique de Waleffe]

> -----Original Message-----
> From: owner-mercury-users at cs.mu.OZ.AU
> [mailto:owner-mercury-users at cs.mu.OZ.AU]On Behalf Of Stephan Lehmke
> Sent: vendredi 27 avril 2001 17:31
> To: mercury-users at cs.mu.OZ.AU
> Subject: Re: [mercury-users] LaTeX style for typesetting Mercury?
 
> LaTeX's listings package knows about mercury.

So does lgrind... but I have not updated the definition in a long time

Dominique

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