Next: , Previous: , Up: Top   [Contents][Index]


Variable and User Option Index

Jump to:   C   I   L   P   U  
Index Entry  Section

C
coq-compile-auto-save: Customizing Coq Multiple File Support
coq-compile-before-require: Customizing Coq Multiple File Support
coq-compile-command: Customizing Coq Multiple File Support
coq-compile-ignored-directories: Customizing Coq Multiple File Support
coq-compile-keep-going: Customizing Coq Multiple File Support
coq-compile-parallel-in-background: Customizing Coq Multiple File Support
coq-compile-vio2vo-delay: Customizing Coq Multiple File Support
coq-confirm-external-compilation: Customizing Coq Multiple File Support
coq-load-path: Customizing Coq Multiple File Support
coq-load-path-include-current: Customizing Coq Multiple File Support
coq-lock-ancestors: Customizing Coq Multiple File Support
coq-max-background-compilation-jobs: Customizing Coq Multiple File Support
coq-max-background-vio2vo-percentage: Customizing Coq Multiple File Support
coq-mode-hooks: Syntax highlighting
coq-project-filename: Changing the name of the coq project file
coq-use-project-file: Disabling the coq project file mechanism

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

L
lego-mode-hooks: Syntax highlighting
lego-tags: LEGO customizations
lego-www-home-page: LEGO customizations

P
PA-completion-table: Support for completion
PA-one-command-per-line: User options
PA-prog-args: User options
PA-prog-env: User options
PA-script-indent: User options
pg-input-ring-size: User options
proof-assistant-home-page: Tweaking configuration settings
proof-auto-action-when-deactivating-scripting: User options
proof-auto-raise-buffers: Display customization
proof-autosend-enable: Automatic processing
proof-colour-locked: Display customization
proof-delete-empty-windows: Display customization
proof-disappearing-proofs: Visibility of completed proofs
proof-electric-terminator-enable: User options
proof-follow-mode: User options
proof-full-annotation: Document centred working
proof-general-debug: User options
proof-goal-with-hole-regexp: Imenu and Speedbar
proof-goal-with-hole-result: Imenu and Speedbar
proof-keep-response-history: User options
proof-multiple-frames-enable: Display customization
proof-next-command-insert-space: User options
proof-output-tooltips: Display customization
proof-prog-name-ask: User options
proof-prog-name-guess: User options
proof-query-file-save-when-activating-scripting: User options
proof-rsh-command: User options
proof-script-indent: Script editing commands
proof-shrink-windows-tofit: Display customization
proof-splash-enable: User options
proof-strict-read-only: Document centred working
proof-terminal-string: Script editing commands
proof-three-window-enable: Display customization
proof-tidy-response: User options
proof-toolbar-enable: User options

U
unicode-tokens-font-family-alternatives: Selecting suitable fonts
unicode-tokens-highlight-unicode: Moving between Unicode and tokens

Jump to:   C   I   L   P   U  

Next: , Previous: , Up: Top   [Contents][Index]