[mercury-users] Changes to 'mc'.

[Dominique de Waleffe]

  >>> "Tyson" == Tyson Richard DOWD <trd at cs.mu.OZ.AU> writes:

Tyson> Hi,

Tyson> We're going to change `mc' to something a little less likely to clash

Tyson> The choices at the moment are:
Tyson> 	`mmc'			(Melbourne Mercury Compiler)
Tyson> 	`merc'			(Mercury Compiler)
Tyson> 	`mmerc'			(Melbourne Mercury Compiler)

We also like 'mmc', that's what we've used in our installation where
M$ always thinks their version of mc should be found first...

D.
-- 
Dominique de Waleffe   Email: ddw at acm.org, ddw at myself.com, ddw at miscrit.be
Mission Critical       WWW:   http://www.miscrit.be/~ddw
Phone: +32 2 759 95 60  Fax: +32 2 759 27 60
PGP key fingerprint: F9 CC 23 74 44 62 7C F3  8C 12 DF 71 BB 60 54 98