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
]