Variable and User Option Index

Jump to:   C   I   O   P  
Index EntrySection

C
comment-quote-nestedConfiguring Editing Syntax

I
imenu-generic-expressionRecognizing other elements

O
outline-heading-end-regexpConfiguring Editing Syntax
outline-regexpConfiguring Editing Syntax

P
PA-completion-tableCompletions
PA-help-menu-entriesMenu configuration
PA-menu-entriesMenu configuration
PA-prog-argsProof shell commands
PA-prog-envProof shell commands
PA-toolbar-entriesToolbar configuration
pbp-goal-commandGoals Buffer Settings
pbp-hyp-commandGoals Buffer Settings
pg-after-fontify-output-hookConfiguring Font Lock
pg-before-fontify-output-hookConfiguring Font Lock
pg-goals-change-goalGoals Buffer Settings
pg-goals-error-regexpGoals Buffer Settings
pg-subterm-anns-use-stackProof shell mode
pg-subterm-end-charGoals Buffer Settings
pg-subterm-first-special-charSettings for matching various output from proof process
pg-subterm-sep-charGoals Buffer Settings
pg-subterm-start-charGoals Buffer Settings
pg-topterm-goalhyplit-fnConfiguring undo behaviour
pg-topterm-regexpGoals Buffer Settings
proof-action-listProof shell mode
proof-action-listProof shell mode
proof-action-listProof shell mode
proof-activate-scripting-hookActivate scripting hook
proof-assistant-home-pageSettings for generic user-level commands
proof-assistant-tableOverview of adding a new prover
proof-assistantsProof General site configuration
proof-atomic-sequents-listGranularity of atomic command sequences
proof-auto-multiple-filesAutomatic multiple files
proof-buffer-typeGlobal variables
proof-cannot-reopen-processed-filesSettings for matching urgent messages from proof process
proof-cannot-reopen-processed-filesHandling Multiple Files
proof-case-fold-searchRecognizing commands and comments
proof-completed-proof-behaviourRecognizing proofs
proof-context-commandSettings for generic user-level commands
proof-count-undos-fnConfiguring undo behaviour
proof-electric-terminator-noterminatorRecognizing commands and comments
proof-find-and-forget-fnConfiguring undo behaviour
proof-find-theorems-commandSettings for generic user-level commands
proof-forget-id-commandConfiguring undo behaviour
proof-general-debugDebugging
proof-general-home-pageGlobal Constants
proof-general-nameGlobal Constants
proof-general-versionProof General site configuration
proof-goal-commandSettings for generic user-level commands
proof-goal-command-pRecognizing proofs
proof-goal-command-regexpRecognizing proofs
proof-goal-with-hole-regexpRecognizing proofs
proof-goal-with-hole-regexpRecognizing other elements
proof-goal-with-hole-resultRecognizing proofs
proof-goal-with-hole-resultRecognizing other elements
proof-goals-bufferGlobal variables
proof-goals-font-lock-keywordsConfiguring Font Lock
proof-home-directoryProof General site configuration
proof-ignore-for-undo-countConfiguring undo behaviour
proof-images-directoryProof General site configuration
proof-included-files-listSettings for matching urgent messages from proof process
proof-included-files-listSettings for matching urgent messages from proof process
proof-included-files-listHandling Multiple Files
proof-included-files-listGlobal variables
proof-info-commandSettings for generic user-level commands
proof-info-directoryProof General site configuration
proof-kill-goal-commandConfiguring undo behaviour
proof-locked-spanProof script mode
proof-markerProof shell mode
proof-nested-goals-history-pNested proofs
proof-nested-undo-regexpNested proofs
proof-no-fully-processed-bufferCompletely asserted buffers
proof-non-undoables-regexpConfiguring undo behaviour
proof-omit-proofs-configuredOmitting proofs for speed
proof-prog-nameProof shell commands
proof-queue-spanProof script mode
proof-really-save-command-pRecognizing proofs
proof-response-bufferGlobal variables
proof-response-font-lock-keywordsConfiguring Font Lock
proof-save-commandSettings for generic user-level commands
proof-save-command-regexpRecognizing proofs
proof-save-with-hole-regexpRecognizing proofs
proof-script-bufferGlobal variables
proof-script-command-end-regexpRecognizing commands and comments
proof-script-command-start-regexpRecognizing commands and comments
proof-script-comment-endRecognizing commands and comments
proof-script-comment-end-regexpRecognizing commands and comments
proof-script-comment-startRecognizing commands and comments
proof-script-comment-start-regexpRecognizing commands and comments
proof-script-definition-end-regexpOmitting proofs for speed
proof-script-font-lock-keywordsConfiguring Font Lock
proof-script-imenu-generic-expressionRecognizing other elements
proof-script-proof-admit-commandOmitting proofs for speed
proof-script-proof-end-regexpOmitting proofs for speed
proof-script-proof-start-regexpOmitting proofs for speed
proof-script-sexp-commandsRecognizing commands and comments
proof-script-syntax-table-entriesConfiguring Editing Syntax
proof-second-action-list-activeProof shell mode
proof-shell-annotated-prompt-regexpSettings for matching various output from proof process
proof-shell-assumption-regexpSettings for matching various output from proof process
proof-shell-auto-terminate-commandsProof shell commands
proof-shell-bufferGlobal variables
proof-shell-busyProof shell mode
proof-shell-cd-cmdProof shell commands
proof-shell-clear-goals-regexpSettings for matching urgent messages from proof process
proof-shell-clear-response-regexpSettings for matching urgent messages from proof process
proof-shell-compute-new-files-listSettings for matching urgent messages from proof process
proof-shell-compute-new-files-listHandling Multiple Files
proof-shell-delayed-output-endProof shell mode
proof-shell-delayed-output-flagsProof shell mode
proof-shell-delayed-output-startProof shell mode
proof-shell-eager-annotation-endSettings for matching urgent messages from proof process
proof-shell-eager-annotation-endHandling Multiple Files
proof-shell-eager-annotation-startSettings for matching urgent messages from proof process
proof-shell-eager-annotation-startHandling Multiple Files
proof-shell-eager-annotation-start-lengthSettings for matching urgent messages from proof process
proof-shell-end-goals-regexpSettings for matching various output from proof process
proof-shell-error-or-interrupt-seenGlobal variables
proof-shell-error-regexpSettings for matching various output from proof process
proof-shell-filename-escapesHooks and other settings
proof-shell-handle-error-or-interrupt-hookHooks and other settings
proof-shell-handle-output-system-specificHooks and other settings
proof-shell-inform-file-processed-cmdProof shell commands
proof-shell-inform-file-retracted-cmdProof shell commands
proof-shell-init-cmdProof shell commands
proof-shell-insert-hookScript input to the shell
proof-shell-interactive-prompt-regexpSettings for matching urgent messages from proof process
proof-shell-interrupt-regexpSettings for matching various output from proof process
proof-shell-last-outputProof shell mode
proof-shell-last-output-kindProof shell mode
proof-shell-last-output-kindProof shell mode
proof-shell-last-promptProof shell mode
proof-shell-pre-interrupt-hookHooks and other settings
proof-shell-pre-sync-init-cmdProof shell commands
proof-shell-process-connection-typeHooks and other settings
proof-shell-process-fileSettings for matching urgent messages from proof process
proof-shell-process-fileHandling Multiple Files
proof-shell-proof-completedGlobal variables
proof-shell-proof-completed-regexpSettings for matching various output from proof process
proof-shell-quit-cmdProof shell commands
proof-shell-restart-cmdProof shell commands
proof-shell-result-endGoals Buffer Settings
proof-shell-result-startGoals Buffer Settings
proof-shell-retract-files-regexpSettings for matching urgent messages from proof process
proof-shell-retract-files-regexpHandling Multiple Files
proof-shell-silent-thresholdProof shell commands
proof-shell-start-goals-regexpSettings for matching various output from proof process
proof-shell-start-silent-cmdProof shell commands
proof-shell-stop-silent-cmdProof shell commands
proof-shell-strip-crs-from-inputScript input to the shell
proof-shell-strip-crs-from-outputProof shell mode
proof-shell-syntax-table-entriesConfiguring Editing Syntax
proof-shell-theorem-dependency-list-regexpSettings for matching urgent messages from proof process
proof-shell-trace-output-regexpSettings for matching urgent messages from proof process
proof-shell-truncate-before-errorSettings for matching various output from proof process
proof-shell-urgent-message-markerProof shell mode
proof-showproof-commandSettings for generic user-level commands
proof-splash-contentsSplash Screen Settings
proof-splash-timeSplash Screen Settings
proof-state-preserving-pSafe (state-preserving) commands
proof-terminal-stringRecognizing commands and comments
proof-tokens-activate-commandConfiguring Tokens
proof-tokens-deactivate-commandConfiguring Tokens
proof-tokens-extra-modesConfiguring Tokens
proof-toolbar-entries-defaultToolbar configuration
proof-tree-configuredGuards
proof-tree-existentials-alistOrganization of the Code
proof-tree-existentials-alist-historyOrganization of the Code
proof-tree-external-displayGuards
proof-tree-new-layer-command-regexpA layered set of proof trees
proof-tree-sequent-hashOrganization of the Code
proof-undo-n-times-cmdConfiguring undo behaviour
proof-universal-keysGlobal Constants