Concept Index

Jump to:   A   C   D   E   F   I   M   O   P   S   T   U   V  
Index Entry  Section

A
ACS (Atomic Command Sequence): Granularity of atomic command sequences

C
comint-mode: Proof shell mode
configuration: Configuration variable mechanisms
conventions: Configuration variable mechanisms

D
debugging: Debugging

E
extents: Spans

F
font lock: Configuring Font Lock
Future: Future

I
installation directories: Proof General site configuration

M
mode stub: Proof General site configuration
Multiple files: Handling Multiple Files

O
overlays: Spans

P
proof by pointing: Proof by pointing and similar features
Proof General Kit: Future
proof shell mode: Proof shell mode

S
scomint-mode: Proof shell mode
settings: Configuration variable mechanisms
site configuration: Proof General site configuration
spans: Spans
syntax table: Configuring Editing Syntax

T
Tokens: Configuring Tokens

U
Unicode Tokens: Configuring Tokens
user options: Configuration variable mechanisms

V
variables: Global variables