This appendix contains the customization file that defines e-lisp variables needed to run HOL from within Emacs. These definitions will not normally need to be changed. Add specialized xhol command key bindings to a keymap. This may be used on more than one keymap. They are defined in interpreter interaction mode and can be added to any other mode map that is appropriate.
Value is a list of entries, each entry is a list of two items.
The first item is the character that the process filter dispatches on. The second item is the action to be taken, a function.