[ << ] [ >> ] [Top] [Contents] [Index] [ ? ]

Variable and User Option Index

Jump to:   C   E   P   U  
Index Entry Section
C
coq-compile-auto-save10.4.4 Customizing Coq Multiple File Support
coq-compile-before-require10.4.4 Customizing Coq Multiple File Support
coq-compile-command10.4.4 Customizing Coq Multiple File Support
coq-compile-ignored-directories10.4.4 Customizing Coq Multiple File Support
coq-compile-keep-going10.4.4 Customizing Coq Multiple File Support
coq-compile-parallel-in-background10.4.4 Customizing Coq Multiple File Support
coq-compile-second-stage-delay10.4.4 Customizing Coq Multiple File Support
coq-confirm-external-compilation10.4.4 Customizing Coq Multiple File Support
coq-diffs10.12 Showing Proof Diffs
coq-kill-coq-on-opam-switch10.13 Opam-switch-mode support
coq-load-path10.4.4 Customizing Coq Multiple File Support
coq-load-path-include-current10.4.4 Customizing Coq Multiple File Support
coq-lock-ancestors10.4.4 Customizing Coq Multiple File Support
coq-max-background-compilation-jobs10.4.4 Customizing Coq Multiple File Support
coq-max-background-second-stage-percentage10.4.4 Customizing Coq Multiple File Support
coq-mode-hooks5.1 Syntax highlighting
coq-project-filename10.2.1 Changing the name of the coq project file
coq-show-proof-stepwise10.12 Showing Proof Diffs
coq-use-project-file10.2.2 Disabling the coq project file mechanism
E
easycrypt-load-path11.3 EasyCrypt customizations
easycrypt-prog-name11.3 EasyCrypt customizations
easycrypt-web-page11.3 EasyCrypt customizations
P
PA-completion-table5.4 Support for completion
PA-one-command-per-line8.4 User options
PA-prog-args8.4 User options
PA-prog-env8.4 User options
PA-script-indent8.4 User options
pg-input-ring-size8.4 User options
proof-assistant-home-page8.6 Tweaking configuration settings
proof-auto-action-when-deactivating-scripting8.4 User options
proof-auto-raise-buffers8.3 Display customization
proof-autosend-enable3.2 Automatic processing
proof-check-annotate-position3.8 Proof status statistic
proof-check-annotate-right-margin3.8 Proof status statistic
proof-colour-locked8.3 Display customization
proof-delete-empty-windows8.3 Display customization
proof-disappearing-proofs3.3 Visibility of completed proofs
proof-electric-terminator-enable8.4 User options
proof-follow-mode8.4 User options
proof-full-annotation3.1 Document centred working
proof-general-debug8.4 User options
proof-goal-with-hole-regexp5.2 Imenu and Speedbar
proof-goal-with-hole-result5.2 Imenu and Speedbar
proof-keep-response-history8.4 User options
proof-multiple-frames-enable8.3 Display customization
proof-next-command-insert-space8.4 User options
proof-omit-proofs-option8.4 User options
proof-output-tooltips8.3 Display customization
proof-prog-name-ask8.4 User options
proof-prog-name-guess8.4 User options
proof-query-file-save-when-activating-scripting8.4 User options
proof-rsh-command8.4 User options
proof-script-indent2.5 Script editing commands
proof-shrink-windows-tofit8.3 Display customization
proof-splash-enable8.4 User options
proof-strict-read-only3.1 Document centred working
proof-strict-read-only10.4.2 Locking Ancestors
proof-terminal-string2.5 Script editing commands
proof-three-window-enable8.3 Display customization
proof-tidy-response8.4 User options
proof-toolbar-enable8.4 User options
U
unicode-tokens-font-family-alternatives4.7 Selecting suitable fonts
unicode-tokens-highlight-unicode4.5 Moving between Unicode and tokens
Jump to:   C   E   P   U  
[ << ] [ >> ] [Top] [Contents] [Index] [ ? ]

This document was generated on January 29, 2025 using texi2html 1.82.