How do I use the termination analyser? (ie. mc -??? x.m) Cheers, Michael -- Michael Winikoff winikoff@$acm.org http://www.cs.mu.oz.au/~winikoff Computer science researcher. [^ delete] University of Melbourne, Australia. "Computer Science is no more about computers than astronomy is about telescopes." -- E. W. Dijkstra