Variable and User Option Index

Jump to:   C   E   P   U  
Index EntrySection

C
coq-compile-auto-saveCustomizing Coq Multiple File Support
coq-compile-before-requireCustomizing Coq Multiple File Support
coq-compile-commandCustomizing Coq Multiple File Support
coq-compile-ignored-directoriesCustomizing Coq Multiple File Support
coq-compile-keep-goingCustomizing Coq Multiple File Support
coq-compile-parallel-in-backgroundCustomizing Coq Multiple File Support
coq-compile-second-stage-delayCustomizing Coq Multiple File Support
coq-confirm-external-compilationCustomizing Coq Multiple File Support
coq-kill-coq-on-opam-switchOpam-switch-mode support
coq-load-pathCustomizing Coq Multiple File Support
coq-load-path-include-currentCustomizing Coq Multiple File Support
coq-lock-ancestorsCustomizing Coq Multiple File Support
coq-max-background-compilation-jobsCustomizing Coq Multiple File Support
coq-max-background-second-stage-percentageCustomizing Coq Multiple File Support
coq-mode-hooksSyntax highlighting
coq-project-filenameChanging the name of the coq project file
coq-use-project-fileDisabling the coq project file mechanism

E
easycrypt-load-pathEasyCrypt customizations
easycrypt-prog-nameEasyCrypt customizations
easycrypt-web-pageEasyCrypt customizations

P
PA-completion-tableSupport for completion
PA-one-command-per-lineUser options
PA-prog-argsUser options
PA-prog-envUser options
PA-script-indentUser options
pg-input-ring-sizeUser options
proof-assistant-home-pageTweaking configuration settings
proof-auto-action-when-deactivating-scriptingUser options
proof-auto-raise-buffersDisplay customization
proof-autosend-enableAutomatic processing
proof-colour-lockedDisplay customization
proof-delete-empty-windowsDisplay customization
proof-disappearing-proofsVisibility of completed proofs
proof-electric-terminator-enableUser options
proof-follow-modeUser options
proof-full-annotationDocument centred working
proof-general-debugUser options
proof-goal-with-hole-regexpImenu and Speedbar
proof-goal-with-hole-resultImenu and Speedbar
proof-keep-response-historyUser options
proof-multiple-frames-enableDisplay customization
proof-next-command-insert-spaceUser options
proof-omit-proofs-optionUser options
proof-output-tooltipsDisplay customization
proof-prog-name-askUser options
proof-prog-name-guessUser options
proof-query-file-save-when-activating-scriptingUser options
proof-rsh-commandUser options
proof-script-indentScript editing commands
proof-shrink-windows-tofitDisplay customization
proof-splash-enableUser options
proof-strict-read-onlyDocument centred working
proof-terminal-stringScript editing commands
proof-three-window-enableDisplay customization
proof-tidy-responseUser options
proof-toolbar-enableUser options

U
unicode-tokens-font-family-alternativesSelecting suitable fonts
unicode-tokens-highlight-unicodeMoving between Unicode and tokens