(no subject)

ENSP 482 Class ((no email))
Fri, 26 Apr 1996 09:27:45 -0400

A copy of an editor buffer of your file "ch31h3.html"
was saved when the editor was killed.
This buffer can be retrieved using the "recover" command of the editor.
An easy way to do this is to give the command "ex -r ch31h3.html".
This works for "edit" and "vi" also.