[mercury-users] Changes to 'mc'.

[Peter David ROSS]

Tyson Richard DOWD, you wrote:
> 
> 
> Hi,
> 
> We're going to change `mc' to something a little less likely to clash
> with other programs (There are a few programs already called `mc'). It
> will be possible, of course, to create symbolic links so mc continues to
> work, but we'd like a more robust default name.
> 
> The choices at the moment are:
> 	`mmc'			(Melbourne Mercury Compiler)
> 	`merc'			(Mercury Compiler)
> 	`mmerc'			(Melbourne Mercury Compiler)
> 
> None of these seem to have any significant clashes on systems around
> here.
> 
> Any opinions, or information on clashes would be useful.
> 
mmc