sjb@cs.toronto.edu (Stephen Bellantoni) (09/08/89)
This is to announce my resignation as the Theory group systems consultant. Steve Cumming is taking over my duties starting immediately. His login is "stevec@theory". He is the person to talk to if you have any questions about using the system.