			DEASSIGNMENT OF KEYS

To deassign a function key or an extended function key (that is, restore 
it to its orignal status), use a command of the form:

    PROMPT $e[0;<key-num>p 
    ECHO ^[[0;<key-num>p 
or
    ESC [0;<key-num>p 

where

<key-num> is the number used when the key was assigned.

^[ is an actual ESC character (27).

To deassign other keys, the "0;" portion of the command should be used only 
if it was used when the key was assigned.
