---

Variable and User Option Index

Jump to:	C   E   P   U

	Index Entry	Section
C
	coq-compile-auto-save	10.4.4 Customizing Coq Multiple File Support
	coq-compile-before-require	10.4.4 Customizing Coq Multiple File Support
	coq-compile-command	10.4.4 Customizing Coq Multiple File Support
	coq-compile-ignored-directories	10.4.4 Customizing Coq Multiple File Support
	coq-compile-keep-going	10.4.4 Customizing Coq Multiple File Support
	coq-compile-parallel-in-background	10.4.4 Customizing Coq Multiple File Support
	coq-compile-second-stage-delay	10.4.4 Customizing Coq Multiple File Support
	coq-confirm-external-compilation	10.4.4 Customizing Coq Multiple File Support
	coq-diffs	10.12 Showing Proof Diffs
	coq-kill-coq-on-opam-switch	10.13 Opam-switch-mode support
	coq-load-path	10.4.4 Customizing Coq Multiple File Support
	coq-load-path-include-current	10.4.4 Customizing Coq Multiple File Support
	coq-lock-ancestors	10.4.4 Customizing Coq Multiple File Support
	coq-max-background-compilation-jobs	10.4.4 Customizing Coq Multiple File Support
	coq-max-background-second-stage-percentage	10.4.4 Customizing Coq Multiple File Support
	coq-mode-hooks	5.1 Syntax highlighting
	coq-project-filename	10.2.1 Changing the name of the coq project file
	coq-show-proof-stepwise	10.12 Showing Proof Diffs
	coq-use-project-file	10.2.2 Disabling the coq project file mechanism
E
	easycrypt-load-path	11.3 EasyCrypt customizations
	easycrypt-prog-name	11.3 EasyCrypt customizations
	easycrypt-web-page	11.3 EasyCrypt customizations
P
	PA-completion-table	5.4 Support for completion
	PA-one-command-per-line	8.4 User options
	PA-prog-args	8.4 User options
	PA-prog-env	8.4 User options
	PA-script-indent	8.4 User options
	pg-input-ring-size	8.4 User options
	proof-assistant-home-page	8.6 Tweaking configuration settings
	proof-auto-action-when-deactivating-scripting	8.4 User options
	proof-auto-raise-buffers	8.3 Display customization
	proof-autosend-enable	3.2 Automatic processing
	proof-check-annotate-position	3.8 Proof status statistic
	proof-check-annotate-right-margin	3.8 Proof status statistic
	proof-colour-locked	8.3 Display customization
	proof-delete-empty-windows	8.3 Display customization
	proof-disappearing-proofs	3.3 Visibility of completed proofs
	proof-electric-terminator-enable	8.4 User options
	proof-follow-mode	8.4 User options
	proof-full-annotation	3.1 Document centred working
	proof-general-debug	8.4 User options
	proof-goal-with-hole-regexp	5.2 Imenu and Speedbar
	proof-goal-with-hole-result	5.2 Imenu and Speedbar
	proof-keep-response-history	8.4 User options
	proof-multiple-frames-enable	8.3 Display customization
	proof-next-command-insert-space	8.4 User options
	proof-omit-proofs-option	8.4 User options
	proof-output-tooltips	8.3 Display customization
	proof-prog-name-ask	8.4 User options
	proof-prog-name-guess	8.4 User options
	proof-query-file-save-when-activating-scripting	8.4 User options
	proof-rsh-command	8.4 User options
	proof-script-indent	2.5 Script editing commands
	proof-shrink-windows-tofit	8.3 Display customization
	proof-splash-enable	8.3 Display customization
	proof-strict-read-only	3.1 Document centred working
	proof-strict-read-only	10.4.2 Locking Ancestors
	proof-terminal-string	2.5 Script editing commands
	proof-three-window-enable	8.3 Display customization
	proof-tidy-response	8.4 User options
	proof-toolbar-enable	8.4 User options
U
	unicode-tokens-font-family-alternatives	4.7 Selecting suitable fonts
	unicode-tokens-highlight-unicode	4.5 Moving between Unicode and tokens

Jump to:	C   E   P   U

---

This document was generated on June 23, 2025 using texi2html 1.82.