[m-dev.] Changes to 'mc'.

[Tyson Richard DOWD]

> Hi,
> 	How about gmc being GNU Mercury Compiler?  It doesnt seem to
> have any clashes on the machines that I tried.

We'd probably want to get the full blessing of the GNU project to do
that (well, officially, anyway - nobody is going to stop you calling it
gmc). Not that that's unlikely, but it's probably something medium to
long term. 

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #