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-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.4 User options
	`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 April 25, 2024 using texi2html 1.82.