Function and Command Index

Jump to:	A C I P U

	Index Entry	Section

A
	`add-completions-from-tags-table`	5.5 Support for tags

C
	`complete`	5.4 Support for completion

I
	`indent-for-tab-command`	2.5 Script editing commands

P
	`pg-goals-button-action`	6.1 Goals buffer commands
	`pg-hide-all-proofs`	3.3 Visibility of completed proofs
	`pg-identifier-under-mouse-query`	6.1 Goals buffer commands
	`pg-next-input`	3.11 Editing features
	`pg-next-matching-input`	3.11 Editing features
	`pg-next-matching-input-from-input`	3.11 Editing features
	`pg-previous-input`	3.11 Editing features
	`pg-previous-matching-input`	3.11 Editing features
	`pg-previous-matching-input-from-input`	3.11 Editing features
	`pg-response-clear-displays`	2.7 Proof assistant commands
	`pg-show-all-proofs`	3.3 Visibility of completed proofs
	`pg-toggle-visibility`	3.3 Visibility of completed proofs
	`proof-active-area-face`	8.5.2 Goals and response faces
	`proof-assert-next-command-interactive`	2.6 Script processing commands
	`proof-assert-until-point-interactive`	2.6 Script processing commands
	`proof-autosend-toggle`	3.2 Automatic processing
	`proof-boring-face`	8.5.2 Goals and response faces
	`proof-check-annotate`	3.8 Proof status statistic
	`proof-check-report`	3.8 Proof status statistic
	`proof-ctxt`	2.7 Proof assistant commands
	`proof-debug-message-face`	8.5.2 Goals and response faces
	`proof-declaration-name-face`	8.5.1 Script buffer faces
	`proof-display-some-buffers`	2.7 Proof assistant commands
	`proof-display-some-buffers`	8.3 Display customization
	`proof-eager-annotation-face`	8.5.2 Goals and response faces
	`proof-electric-terminator-toggle`	2.6 Script processing commands
	`proof-error-face`	8.5.2 Goals and response faces
	`proof-find-theorems`	2.7 Proof assistant commands
	`proof-frob-locked-end`	3.10 Escaping script management
	`proof-goto-command-end`	2.5 Script editing commands
	`proof-goto-command-start`	2.5 Script editing commands
	`proof-goto-end-of-locked`	2.5 Script editing commands
	`proof-goto-point`	2.6 Script processing commands
	`proof-help`	2.7 Proof assistant commands
	`proof-highlight-dependency-face`	8.5.1 Script buffer faces
	`proof-highlight-dependent-face`	8.5.1 Script buffer faces
	`proof-interrupt-process`	2.7 Proof assistant commands
	`proof-issue-goal`	2.8 Toolbar commands
	`proof-issue-save`	2.8 Toolbar commands
	`proof-layout-windows`	8.3 Display customization
	`proof-locked-face`	8.5.1 Script buffer faces
	`proof-minibuffer-cmd`	2.7 Proof assistant commands
	`proof-mouse-highlight-face`	8.5.1 Script buffer faces
	`proof-prf`	2.7 Proof assistant commands
	`proof-process-buffer`	2.6 Script processing commands
	`proof-query-identifier`	2.7 Proof assistant commands
	`proof-queue-face`	8.5.1 Script buffer faces
	`proof-retract-buffer`	2.6 Script processing commands
	`proof-retract-until-point-interactive`	2.6 Script processing commands
	`proof-script-highlight-error-face`	8.5.1 Script buffer faces
	`proof-script-sticky-error-face`	8.5.1 Script buffer faces
	`proof-shell-exit`	2.7 Proof assistant commands
	`proof-shell-restart`	2.7 Proof assistant commands
	`proof-shell-start`	2.7 Proof assistant commands
	`proof-tacticals-name-face`	8.5.1 Script buffer faces
	`proof-toggle-active-scripting`	2.3.3 Active scripting buffer
	`proof-undo-and-delete-last-successful-command`	2.6 Script processing commands
	`proof-undo-last-successful-command`	2.6 Script processing commands
	`proof-warning-face`	8.5.2 Goals and response faces

U
	`unicode-tokens-copy`	4.5 Moving between Unicode and tokens
	`unicode-tokens-fraktur-font-face`	4.4 Special layout
	`unicode-tokens-list-shortcuts`	4.6 Finding available tokens shortcuts and symbols
	`unicode-tokens-list-tokens`	4.6 Finding available tokens shortcuts and symbols
	`unicode-tokens-list-unicode-chars`	4.6 Finding available tokens shortcuts and symbols
	`unicode-tokens-paste`	4.5 Moving between Unicode and tokens
	`unicode-tokens-sans-font-face`	4.4 Special layout
	`unicode-tokens-script-font-face`	4.4 Special layout
	`unicode-tokens-serif-font-face`	4.4 Special layout
	`unicode-tokens-symbol-font-face`	4.7 Selecting suitable fonts

Jump to:	A C I P U

This document was generated on October 4, 2024 using texi2html 1.82.