Function and Command Index

Jump to:   A   C   I   P   U  
Index EntrySection

A
add-completions-from-tags-tableSupport for tags

C
completeSupport for completion

I
indent-for-tab-commandScript editing commands

P
pg-goals-button-actionGoals buffer commands
pg-hide-all-proofsVisibility of completed proofs
pg-identifier-under-mouse-queryGoals buffer commands
pg-next-inputEditing features
pg-next-matching-inputEditing features
pg-next-matching-input-from-inputEditing features
pg-previous-inputEditing features
pg-previous-matching-inputEditing features
pg-previous-matching-input-from-inputEditing features
pg-response-clear-displaysProof assistant commands
pg-show-all-proofsVisibility of completed proofs
pg-toggle-visibilityVisibility of completed proofs
proof-active-area-faceGoals and response faces
proof-assert-next-command-interactiveScript processing commands
proof-assert-until-point-interactiveScript processing commands
proof-autosend-toggleAutomatic processing
proof-boring-faceGoals and response faces
proof-ctxtProof assistant commands
proof-debug-message-faceGoals and response faces
proof-declaration-name-faceScript buffer faces
proof-display-some-buffersProof assistant commands
proof-display-some-buffersDisplay customization
proof-eager-annotation-faceGoals and response faces
proof-electric-terminator-toggleScript processing commands
proof-error-faceGoals and response faces
proof-find-theoremsProof assistant commands
proof-frob-locked-endEscaping script management
proof-goto-command-endScript editing commands
proof-goto-command-startScript editing commands
proof-goto-end-of-lockedScript editing commands
proof-goto-pointScript processing commands
proof-helpProof assistant commands
proof-highlight-dependency-faceScript buffer faces
proof-highlight-dependent-faceScript buffer faces
proof-interrupt-processProof assistant commands
proof-issue-goalToolbar commands
proof-issue-saveToolbar commands
proof-layout-windowsDisplay customization
proof-locked-faceScript buffer faces
proof-minibuffer-cmdProof assistant commands
proof-mouse-highlight-faceScript buffer faces
proof-prfProof assistant commands
proof-process-bufferScript processing commands
proof-query-identifierProof assistant commands
proof-queue-faceScript buffer faces
proof-retract-bufferScript processing commands
proof-retract-until-point-interactiveScript processing commands
proof-script-highlight-error-faceScript buffer faces
proof-script-sticky-error-faceScript buffer faces
proof-shell-exitProof assistant commands
proof-shell-restartProof assistant commands
proof-shell-startProof assistant commands
proof-tacticals-name-faceScript buffer faces
proof-toggle-active-scriptingActive scripting buffer
proof-undo-and-delete-last-successful-commandScript processing commands
proof-undo-last-successful-commandScript processing commands
proof-warning-faceGoals and response faces

U
unicode-tokens-copyMoving between Unicode and tokens
unicode-tokens-fraktur-font-faceSpecial layout
unicode-tokens-list-shortcutsFinding available tokens shortcuts and symbols
unicode-tokens-list-tokensFinding available tokens shortcuts and symbols
unicode-tokens-list-unicode-charsFinding available tokens shortcuts and symbols
unicode-tokens-pasteMoving between Unicode and tokens
unicode-tokens-sans-font-faceSpecial layout
unicode-tokens-script-font-faceSpecial layout
unicode-tokens-serif-font-faceSpecial layout
unicode-tokens-symbol-font-faceSelecting suitable fonts