Variable and User Option Index

Jump to:   C   I   O   P  
Index Entry  Section

C
comment-quote-nested: Configuring Editing Syntax

I
imenu-generic-expression: Recognizing other elements

O
outline-heading-end-regexp: Configuring Editing Syntax
outline-regexp: Configuring Editing Syntax

P
PA-completion-table: Completions
PA-help-menu-entries: Menu configuration
PA-menu-entries: Menu configuration
PA-prog-args: Proof shell commands
PA-prog-env: Proof shell commands
PA-toolbar-entries: Toolbar configuration
pbp-goal-command: Goals Buffer Settings
pbp-hyp-command: Goals Buffer Settings
pg-after-fontify-output-hook: Configuring Font Lock
pg-before-fontify-output-hook: Configuring Font Lock
pg-goals-change-goal: Goals Buffer Settings
pg-goals-error-regexp: Goals Buffer Settings
pg-subterm-anns-use-stack: Proof shell mode
pg-subterm-end-char: Goals Buffer Settings
pg-subterm-first-special-char: Settings for matching various output from proof process
pg-subterm-sep-char: Goals Buffer Settings
pg-subterm-start-char: Goals Buffer Settings
pg-topterm-goalhyplit-fn: Configuring undo behaviour
pg-topterm-regexp: Goals Buffer Settings
proof-action-list: Proof shell mode
proof-action-list: Proof shell mode
proof-action-list: Proof shell mode
proof-activate-scripting-hook: Activate scripting hook
proof-assistant-home-page: Settings for generic user-level commands
proof-assistant-table: Overview of adding a new prover
proof-assistants: Proof General site configuration
proof-atomic-sequents-list: Granularity of atomic command sequences
proof-auto-multiple-files: Automatic multiple files
proof-buffer-type: Global variables
proof-cannot-reopen-processed-files: Settings for matching urgent messages from proof process
proof-cannot-reopen-processed-files: Handling Multiple Files
proof-case-fold-search: Recognizing commands and comments
proof-completed-proof-behaviour: Recognizing proofs
proof-context-command: Settings for generic user-level commands
proof-count-undos-fn: Configuring undo behaviour
proof-electric-terminator-noterminator: Recognizing commands and comments
proof-find-and-forget-fn: Configuring undo behaviour
proof-find-theorems-command: Settings for generic user-level commands
proof-forget-id-command: Configuring undo behaviour
proof-general-debug: Debugging
proof-general-home-page: Global Constants
proof-general-name: Global Constants
proof-general-version: Proof General site configuration
proof-goal-command: Settings for generic user-level commands
proof-goal-command-p: Recognizing proofs
proof-goal-command-regexp: Recognizing proofs
proof-goal-with-hole-regexp: Recognizing proofs
proof-goal-with-hole-regexp: Recognizing other elements
proof-goal-with-hole-result: Recognizing proofs
proof-goal-with-hole-result: Recognizing other elements
proof-goals-buffer: Global variables
proof-goals-font-lock-keywords: Configuring Font Lock
proof-home-directory: Proof General site configuration
proof-ignore-for-undo-count: Configuring undo behaviour
proof-images-directory: Proof General site configuration
proof-included-files-list: Settings for matching urgent messages from proof process
proof-included-files-list: Settings for matching urgent messages from proof process
proof-included-files-list: Handling Multiple Files
proof-included-files-list: Global variables
proof-info-command: Settings for generic user-level commands
proof-info-directory: Proof General site configuration
proof-kill-goal-command: Configuring undo behaviour
proof-locked-span: Proof script mode
proof-marker: Proof shell mode
proof-nested-goals-history-p: Nested proofs
proof-nested-undo-regexp: Nested proofs
proof-no-fully-processed-buffer: Completely asserted buffers
proof-non-undoables-regexp: Configuring undo behaviour
proof-omit-proofs-configured: Omitting proofs for speed
proof-prog-name: Proof shell commands
proof-queue-span: Proof script mode
proof-really-save-command-p: Recognizing proofs
proof-response-buffer: Global variables
proof-response-font-lock-keywords: Configuring Font Lock
proof-save-command: Settings for generic user-level commands
proof-save-command-regexp: Recognizing proofs
proof-save-with-hole-regexp: Recognizing proofs
proof-script-buffer: Global variables
proof-script-command-end-regexp: Recognizing commands and comments
proof-script-command-start-regexp: Recognizing commands and comments
proof-script-comment-end: Recognizing commands and comments
proof-script-comment-end-regexp: Recognizing commands and comments
proof-script-comment-start: Recognizing commands and comments
proof-script-comment-start-regexp: Recognizing commands and comments
proof-script-definition-end-regexp: Omitting proofs for speed
proof-script-font-lock-keywords: Configuring Font Lock
proof-script-imenu-generic-expression: Recognizing other elements
proof-script-proof-admit-command: Omitting proofs for speed
proof-script-proof-end-regexp: Omitting proofs for speed
proof-script-proof-start-regexp: Omitting proofs for speed
proof-script-sexp-commands: Recognizing commands and comments
proof-script-syntax-table-entries: Configuring Editing Syntax
proof-second-action-list-active: Proof shell mode
proof-shell-annotated-prompt-regexp: Settings for matching various output from proof process
proof-shell-assumption-regexp: Settings for matching various output from proof process
proof-shell-auto-terminate-commands: Proof shell commands
proof-shell-buffer: Global variables
proof-shell-busy: Proof shell mode
proof-shell-cd-cmd: Proof shell commands
proof-shell-clear-goals-regexp: Settings for matching urgent messages from proof process
proof-shell-clear-response-regexp: Settings for matching urgent messages from proof process
proof-shell-compute-new-files-list: Settings for matching urgent messages from proof process
proof-shell-compute-new-files-list: Handling Multiple Files
proof-shell-delayed-output-end: Proof shell mode
proof-shell-delayed-output-flags: Proof shell mode
proof-shell-delayed-output-start: Proof shell mode
proof-shell-eager-annotation-end: Settings for matching urgent messages from proof process
proof-shell-eager-annotation-end: Handling Multiple Files
proof-shell-eager-annotation-start: Settings for matching urgent messages from proof process
proof-shell-eager-annotation-start: Handling Multiple Files
proof-shell-eager-annotation-start-length: Settings for matching urgent messages from proof process
proof-shell-end-goals-regexp: Settings for matching various output from proof process
proof-shell-error-or-interrupt-seen: Global variables
proof-shell-error-regexp: Settings for matching various output from proof process
proof-shell-filename-escapes: Hooks and other settings
proof-shell-handle-error-or-interrupt-hook: Hooks and other settings
proof-shell-handle-output-system-specific: Hooks and other settings
proof-shell-inform-file-processed-cmd: Proof shell commands
proof-shell-inform-file-retracted-cmd: Proof shell commands
proof-shell-init-cmd: Proof shell commands
proof-shell-insert-hook: Script input to the shell
proof-shell-interactive-prompt-regexp: Settings for matching urgent messages from proof process
proof-shell-interrupt-regexp: Settings for matching various output from proof process
proof-shell-last-output: Proof shell mode
proof-shell-last-output-kind: Proof shell mode
proof-shell-last-output-kind: Proof shell mode
proof-shell-last-prompt: Proof shell mode
proof-shell-pre-interrupt-hook: Hooks and other settings
proof-shell-pre-sync-init-cmd: Proof shell commands
proof-shell-process-connection-type: Hooks and other settings
proof-shell-process-file: Settings for matching urgent messages from proof process
proof-shell-process-file: Handling Multiple Files
proof-shell-proof-completed: Global variables
proof-shell-proof-completed-regexp: Settings for matching various output from proof process
proof-shell-quit-cmd: Proof shell commands
proof-shell-restart-cmd: Proof shell commands
proof-shell-result-end: Goals Buffer Settings
proof-shell-result-start: Goals Buffer Settings
proof-shell-retract-files-regexp: Settings for matching urgent messages from proof process
proof-shell-retract-files-regexp: Handling Multiple Files
proof-shell-silent-threshold: Proof shell commands
proof-shell-start-goals-regexp: Settings for matching various output from proof process
proof-shell-start-silent-cmd: Proof shell commands
proof-shell-stop-silent-cmd: Proof shell commands
proof-shell-strip-crs-from-input: Script input to the shell
proof-shell-strip-crs-from-output: Proof shell mode
proof-shell-syntax-table-entries: Configuring Editing Syntax
proof-shell-theorem-dependency-list-regexp: Settings for matching urgent messages from proof process
proof-shell-trace-output-regexp: Settings for matching urgent messages from proof process
proof-shell-truncate-before-error: Settings for matching various output from proof process
proof-shell-urgent-message-marker: Proof shell mode
proof-showproof-command: Settings for generic user-level commands
proof-splash-contents: Splash Screen Settings
proof-splash-time: Splash Screen Settings
proof-state-preserving-p: Safe (state-preserving) commands
proof-terminal-string: Recognizing commands and comments
proof-tokens-activate-command: Configuring Tokens
proof-tokens-deactivate-command: Configuring Tokens
proof-tokens-extra-modes: Configuring Tokens
proof-toolbar-entries-default: Toolbar configuration
proof-tree-configured: Guards
proof-tree-existentials-alist: Organization of the Code
proof-tree-existentials-alist-history: Organization of the Code
proof-tree-external-display: Guards
proof-tree-new-layer-command-regexp: A layered set of proof trees
proof-tree-sequent-hash: Organization of the Code
proof-undo-n-times-cmd: Configuring undo behaviour
proof-universal-keys: Global Constants