Previous:
Keystroke Index
, Up:
Proof General
[
Contents
][
Index
]
Concept Index
¶
Jump to:
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Index Entry
Section
A
active scripting buffer
Active scripting buffer
Alt
Prerequisites for this manual
annotation
Document centred working
Assertion
Locked queue and editing regions
Assertion
Asserting across files
auto raise
Display customization
Automatic processing
Automatic processing
autosend
Automatic processing
B
blue text
Locked queue and editing regions
buffer display customization
Display customization
C
Centaur
History of Proof General
colour
Syntax highlighting
completion
Support for completion
CtCoq
History of Proof General
Customization
Customizing Proof General
D
Dedicated windows
User options
display customization
Display customization
E
EasyCrypt Proof General
EasyCrypt Proof General
Editing region
Locked queue and editing regions
Emacs customization library
How to customize
F
Features
Features of Proof General
file variables
Using file variables
font lock
Syntax highlighting
frames
Display customization
Future
Future
G
generic
History of Proof General
goal
Goal-save sequences
goal-save sequences
Goal-save sequences
goals buffer
Summary of Proof General buffers
Greek letters
Unicode symbols and special layout support
H
history
History of Proof General
I
Imenu
Imenu and Speedbar
Indentation
User options
index menu
Imenu and Speedbar
Input ring
Editing features
Input ring
User options
K
key sequences
Prerequisites for this manual
keybindings
Adding your own keybindings
L
Locked region
Locked queue and editing regions
logical symbols
Unicode symbols and special layout support
M
maintenance
Credits
mathematical symbols
Unicode symbols and special layout support
Maths Menu
Unicode symbols and special layout support
Meta
Prerequisites for this manual
Multiple Files
Advanced Script Management and Editing
multiple frames
Display customization
multiple windows
Display customization
N
news
News for Version 4.5
news
News for Version 4.4
news
News for Version 4.3
news
News for Version 4.2
news
News for Version 4.1
news
News for Version 4.0
news
Old News for 3.1
news
Old News for 3.2
O
outline mode
Support for outline mode
P
pink text
Locked queue and editing regions
prefix argument
Script processing commands
proof assistant
Introducing Proof General
proof by pointing
Summary of Proof General buffers
proof by pointing
History of Proof General
Proof General
Introducing Proof General
Proof General Kit
Future
proof script
Proof scripts
Proof script indentation
User options
proof script mode
Script buffers
proof-tree visualization
Graphical Proof-Tree Visualization
Q
Query program name
User options
Queue region
Locked queue and editing regions
R
Remote host
User options
Remote shell
User options
response buffer
Summary of Proof General buffers
Retraction
Locked queue and editing regions
Retraction
Retracting across files
Running proof assistant remotely
User options
S
save
Goal-save sequences
script buffer
Script buffers
script management
History of Proof General
scripting
Proof scripts
Shell
Escaping script management
shell buffer
Summary of Proof General buffers
Shell Proof General
Shell Proof General
Speedbar
Imenu and Speedbar
Strict read-only
User options
structure editor
History of Proof General
subscripts
Unicode symbols and special layout support
superscripts
Unicode symbols and special layout support
Switching between proof scripts
Switching between proof scripts
symbols
Unicode symbols and special layout support
T
tags
Support for tags
three-buffer interaction
Display customization
Tokens Mode
Unicode symbols and special layout support
Toolbar button enablers
User options
Toolbar disabling
User options
Toolbar follow mode
User options
U
Undo in read-only region
User options
User options
User options
Using Customize
How to customize
V
Visibility of proofs
Visibility of completed proofs
W
Why use Proof General?
Features of Proof General
X
X-Symbols
Unicode symbols and special layout support
Jump to:
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Previous:
Keystroke Index
, Up:
Proof General
[
Contents
][
Index
]