mike@zorch.SF-Bay.ORG (Mike Smithwick) (04/23/91)
[] I finally got around to installing the V37 stuff, and addtools doesn't work from user-startup. I can start it up by hand. Also it seems to crash or generate some mysterious crashes sometime after startup. mike -- "There is no problem to big that can't be solved with high explosives"-Rush Mike Smithwick - ames!zorch!mike