Function and Command Index

Jump to:   D   P  
Index Entry  Section

D
defpgcustom: Configuration variable mechanisms
defpgdefault: Default values for generic settings
defpgdefault: Configuration variable mechanisms

P
proof-activate-scripting: Proof script mode
proof-add-completions: Completions
proof-ass: Configuration variable mechanisms
proof-ass-sym: Configuration variable mechanisms
proof-ass-symv: Configuration variable mechanisms
proof-assert-until-point: Proof script mode
proof-complete-buffer-atomic: Proof script mode
proof-deactivate-scripting: Proof script mode
proof-define-assistant-command: Useful functions and macros
proof-define-assistant-command-witharg: Useful functions and macros
proof-definvisible: Useful functions and macros
proof-defshortcut: Useful functions and macros
proof-deftoggle: Configuration variable mechanisms
proof-extend-queue: Proof shell mode
proof-extend-queue: Proof shell mode
proof-format-filename: Useful functions and macros
proof-generic-count-undos: Configuring undo behaviour
proof-generic-find-and-forget: Configuring undo behaviour
proof-generic-state-preserving-p: Safe (state-preserving) commands
proof-grab-lock: Proof shell mode
proof-init-segmentation: Proof script mode
proof-insert: Useful functions and macros
proof-looking-at-syntactic-context: Recognizing commands and comments
proof-register-possibly-new-processed-file: Proof script mode
proof-release-lock: Proof shell mode
proof-restart-buffers: Proof script mode
proof-retract-until-point: Proof script mode
proof-script-generic-parse-cmdend: Proof script mode
proof-script-generic-parse-cmdstart: Proof script mode
proof-script-generic-parse-sexp: Proof script mode
proof-script-remove-all-spans-and-deactivate: Proof script mode
proof-semis-to-vanillas: Proof script mode
proof-set-value: Configuration variable mechanisms
proof-shell-bail-out: Proof shell mode
proof-shell-exec-loop: Proof shell mode
proof-shell-exit: Proof shell mode
proof-shell-filter: Proof shell mode
proof-shell-filter-manage-output: Proof shell mode
proof-shell-filter-wrapper: Proof shell mode
proof-shell-handle-delayed-output: Proof shell mode
proof-shell-handle-immediate-output: Proof shell mode
proof-shell-insert: Proof shell mode
proof-shell-invisible-command: Useful functions and macros
proof-shell-kill-function: Proof shell mode
proof-shell-process-urgent-message: Proof shell mode
proof-shell-restart: Proof shell mode
proof-shell-start: Proof shell mode
proof-tree-external-display-toggle: Guards
proof-tree-handle-delayed-output: Urgent and Delayed Actions
proof-tree-urgent-action: Urgent and Delayed Actions
proof-zap-commas: Configuring Font Lock