The key bindings for the term and proof editors can be altered by creating your own key macro files and loading them instead of the standard ones in a Lisp initialization file.
