[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:
> 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
> Any opinions, or information on clashes would be useful.
More information about the users