Function and Command Index

Jump to:   D   P  
Index EntrySection

D
defpgcustomConfiguration variable mechanisms
defpgdefaultDefault values for generic settings
defpgdefaultConfiguration variable mechanisms

P
proof-activate-scriptingProof script mode
proof-add-completionsCompletions
proof-assConfiguration variable mechanisms
proof-ass-symConfiguration variable mechanisms
proof-ass-symvConfiguration variable mechanisms
proof-assert-until-pointProof script mode
proof-complete-buffer-atomicProof script mode
proof-deactivate-scriptingProof script mode
proof-define-assistant-commandUseful functions and macros
proof-define-assistant-command-withargUseful functions and macros
proof-definvisibleUseful functions and macros
proof-defshortcutUseful functions and macros
proof-deftoggleConfiguration variable mechanisms
proof-extend-queueProof shell mode
proof-extend-queueProof shell mode
proof-format-filenameUseful functions and macros
proof-generic-count-undosConfiguring undo behaviour
proof-generic-find-and-forgetConfiguring undo behaviour
proof-generic-state-preserving-pSafe (state-preserving) commands
proof-grab-lockProof shell mode
proof-init-segmentationProof script mode
proof-insertUseful functions and macros
proof-looking-at-syntactic-contextRecognizing commands and comments
proof-register-possibly-new-processed-fileProof script mode
proof-release-lockProof shell mode
proof-restart-buffersProof script mode
proof-retract-until-pointProof script mode
proof-script-generic-parse-cmdendProof script mode
proof-script-generic-parse-cmdstartProof script mode
proof-script-generic-parse-sexpProof script mode
proof-script-remove-all-spans-and-deactivateProof script mode
proof-semis-to-vanillasProof script mode
proof-set-valueConfiguration variable mechanisms
proof-shell-bail-outProof shell mode
proof-shell-exec-loopProof shell mode
proof-shell-exitProof shell mode
proof-shell-filterProof shell mode
proof-shell-filter-manage-outputProof shell mode
proof-shell-filter-wrapperProof shell mode
proof-shell-handle-delayed-outputProof shell mode
proof-shell-handle-immediate-outputProof shell mode
proof-shell-insertProof shell mode
proof-shell-invisible-commandUseful functions and macros
proof-shell-kill-functionProof shell mode
proof-shell-process-urgent-messageProof shell mode
proof-shell-restartProof shell mode
proof-shell-startProof shell mode
proof-tree-external-display-toggleGuards
proof-tree-handle-delayed-outputUrgent and Delayed Actions
proof-tree-urgent-actionUrgent and Delayed Actions
proof-zap-commasConfiguring Font Lock