[mercury-users] Changes to 'mc'.

Bart Demoen bmd at cs.kuleuven.ac.be
Mon Jun 30 17:02:32 AEST 1997


I like mmc best.
I found no clashes here.

Bart



More information about the developers mailing list