Function and Command Index

Jump to:   A   C   I   P   U  
Index Entry  Section

A
add-completions-from-tags-table: Support for tags

C
complete: Support for completion

I
indent-for-tab-command: Script editing commands

P
pg-goals-button-action: Goals buffer commands
pg-hide-all-proofs: Visibility of completed proofs
pg-identifier-under-mouse-query: Goals buffer commands
pg-next-input: Editing features
pg-next-matching-input: Editing features
pg-next-matching-input-from-input: Editing features
pg-previous-input: Editing features
pg-previous-matching-input: Editing features
pg-previous-matching-input-from-input: Editing features
pg-response-clear-displays: Proof assistant commands
pg-show-all-proofs: Visibility of completed proofs
pg-toggle-visibility: Visibility of completed proofs
proof-active-area-face: Goals and response faces
proof-assert-next-command-interactive: Script processing commands
proof-assert-until-point-interactive: Script processing commands
proof-autosend-toggle: Automatic processing
proof-boring-face: Goals and response faces
proof-ctxt: Proof assistant commands
proof-debug-message-face: Goals and response faces
proof-declaration-name-face: Script buffer faces
proof-display-some-buffers: Proof assistant commands
proof-display-some-buffers: Display customization
proof-eager-annotation-face: Goals and response faces
proof-electric-terminator-toggle: Script processing commands
proof-error-face: Goals and response faces
proof-find-theorems: Proof assistant commands
proof-frob-locked-end: Escaping script management
proof-goto-command-end: Script editing commands
proof-goto-command-start: Script editing commands
proof-goto-end-of-locked: Script editing commands
proof-goto-point: Script processing commands
proof-help: Proof assistant commands
proof-highlight-dependency-face: Script buffer faces
proof-highlight-dependent-face: Script buffer faces
proof-interrupt-process: Proof assistant commands
proof-issue-goal: Toolbar commands
proof-issue-save: Toolbar commands
proof-layout-windows: Display customization
proof-locked-face: Script buffer faces
proof-minibuffer-cmd: Proof assistant commands
proof-mouse-highlight-face: Script buffer faces
proof-prf: Proof assistant commands
proof-process-buffer: Script processing commands
proof-query-identifier: Proof assistant commands
proof-queue-face: Script buffer faces
proof-retract-buffer: Script processing commands
proof-retract-until-point-interactive: Script processing commands
proof-script-highlight-error-face: Script buffer faces
proof-script-sticky-error-face: Script buffer faces
proof-shell-exit: Proof assistant commands
proof-shell-restart: Proof assistant commands
proof-shell-start: Proof assistant commands
proof-tacticals-name-face: Script buffer faces
proof-toggle-active-scripting: Active scripting buffer
proof-undo-and-delete-last-successful-command: Script processing commands
proof-undo-last-successful-command: Script processing commands
proof-warning-face: Goals and response faces

U
unicode-tokens-copy: Moving between Unicode and tokens
unicode-tokens-fraktur-font-face: Special layout
unicode-tokens-list-shortcuts: Finding available tokens shortcuts and symbols
unicode-tokens-list-tokens: Finding available tokens shortcuts and symbols
unicode-tokens-list-unicode-chars: Finding available tokens shortcuts and symbols
unicode-tokens-paste: Moving between Unicode and tokens
unicode-tokens-sans-font-face: Special layout
unicode-tokens-script-font-face: Special layout
unicode-tokens-serif-font-face: Special layout
unicode-tokens-symbol-font-face: Selecting suitable fonts