Previous: , Up: Top   [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
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
HOL Light Proof General: HOL Light Proof General

I
Imenu: Imenu and Speedbar
Indentation: User options
index menu: Imenu and Speedbar
Input ring: Editing features
Input ring: User options
Isabelle commands: Isabelle commands
Isabelle customizations: Isabelle customizations
Isabelle logic: Choosing logic and starting isabelle
Isabelle Proof General: Isabelle Proof General

K
key sequences: Prerequisites for this manual
keybindings: Adding your own keybindings

L
LEGO Proof General: LEGO Proof General
lego-mode: Credits
lego-mode: History of Proof General
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.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  

Table of Contents


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