Variable and User Option Index

Jump to:	C I L P U

	Index Entry	Section

C
	`coq-compile-auto-save`	11.2.3 Customizing Coq Multiple File Support
	`coq-compile-before-require`	11.2.3 Customizing Coq Multiple File Support
	`coq-compile-command`	11.2.3 Customizing Coq Multiple File Support
	`coq-compile-ignore-library-directory`	11.2.3 Customizing Coq Multiple File Support
	`coq-compile-ignored-directories`	11.2.3 Customizing Coq Multiple File Support
	`coq-compile-substitution-list`	11.2.3 Customizing Coq Multiple File Support
	`coq-confirm-external-compilation`	11.2.3 Customizing Coq Multiple File Support
	`coq-coqdep-error-regexp`	11.2.3 Customizing Coq Multiple File Support
	`coq-load-path`	11.2.3 Customizing Coq Multiple File Support
	`coq-load-path-include-current`	11.2.3 Customizing Coq Multiple File Support
	`coq-lock-ancestors`	11.2.3 Customizing Coq Multiple File Support
	`coq-mode-hooks`	5.1 Syntax highlighting
	`coq-require-command-regexp`	11.2.3 Customizing Coq Multiple File Support
	`coq-require-id-regexp`	11.2.3 Customizing Coq Multiple File Support

I
	`isa-mode-hooks`	5.1 Syntax highlighting
	`isabelle-chosen-logic`	12.1 Choosing logic and starting isabelle
	`isabelle-program-name-override`	12.1 Choosing logic and starting isabelle
	`isabelle-web-page`	12.4 Isabelle customizations

L
	`lego-mode-hooks`	5.1 Syntax highlighting
	`lego-tags`	10.3 LEGO customizations
	`lego-www-home-page`	10.3 LEGO 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-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-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 I L P U

[ << ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

This document was generated on December 5, 2012 using texi2html 1.82.