Someone pointed out to me the other day that the EDT editor doesn't work
from NEWS on OCEAN. Sure enough, he was right. I've fixed this problem
and it should now work.
--
Kent Covert, Software Coordinator
Miami Computing and Information Services
Miami University, Oxford, OH
[log in to unmask] (internet)
kacovert@miavx1 (bitnet)