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)