[mercury-users] Changes to 'mc'.

Peter David ROSS petdr at students.cs.mu.oz.au
Wed Jul 2 11:23:04 AEST 1997

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.

More information about the users mailing list