[ << ] [ >> ]           [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 buffer2.3.3 Active scripting buffer
Alt1.5 Prerequisites for this manual
annotation3.1 Document centred working
Assertion2.3.1 Locked, queue, and editing regions
Assertion3.7 Asserting across files
auto raise7.3 Display customization
Automatic processing3.2 Automatic processing
autosend3.2 Automatic processing

B
blue text2.3.1 Locked, queue, and editing regions
buffer display customization7.3 Display customization

C
CentaurHistory of Proof General
colour5.1 Syntax highlighting
completion5.4 Support for completion
CtCoqHistory of Proof General
Customization7. Customizing Proof General

D
Dedicated windows7.4 User options
display customization7.3 Display customization

E
Editing region2.3.1 Locked, queue, and editing regions
Emacs customization library7.2 How to customize

F
Features1.3 Features of Proof General
file variables8.2 Using file variables
font lock5.1 Syntax highlighting
frames7.3 Display customization
FutureFuture

G
genericHistory of Proof General
goal2.3.2 Goal-save sequences
goal-save sequences2.3.2 Goal-save sequences
goals buffer2.4 Summary of Proof General buffers
Greek letters4. Unicode symbols and special layout support

H
historyHistory of Proof General
HOL Proof General12. HOL Proof General

I
Imenu5.2 Imenu and Speedbar
Indentation7.4 User options
index menu5.2 Imenu and Speedbar
Input ring3.10 Editing features
Input ring7.4 User options
Isabelle commands11.2 Isabelle commands
Isabelle customizations11.4 Isabelle customizations
Isabelle logic11.1 Choosing logic and starting isabelle
Isabelle Proof General11. Isabelle Proof General

K
key sequences1.5 Prerequisites for this manual
keybindings8.1 Adding your own keybindings

L
LEGO Proof General9. LEGO Proof General
lego-modeCredits
lego-modeHistory of Proof General
Locked region2.3.1 Locked, queue, and editing regions
logical symbols4. Unicode symbols and special layout support

M
maintenanceCredits
mathematical symbols4. Unicode symbols and special layout support
Maths Menu4. Unicode symbols and special layout support
Meta1.5 Prerequisites for this manual
Multiple Files3. Advanced Script Management and Editing
multiple frames7.3 Display customization
multiple windows7.3 Display customization

N
newsNews for Version 4.0
newsNews for Version 4.0
newsOld News for 3.1
newsOld News for 3.2

O
outline mode5.3 Support for outline mode

P
pink text2.3.1 Locked, queue, and editing regions
prefix argument2.6 Script processing commands
proof assistant1. Introducing Proof General
proof by pointing2.4 Summary of Proof General buffers
proof by pointingHistory of Proof General
Proof General1. Introducing Proof General
Proof General KitFuture
proof script2.2 Proof scripts
Proof script indentation7.4 User options
proof script mode2.3 Script buffers

Q
Query program name7.4 User options
Queue region2.3.1 Locked, queue, and editing regions

R
Remote host7.4 User options
Remote shell7.4 User options
response buffer2.4 Summary of Proof General buffers
Retraction2.3.1 Locked, queue, and editing regions
Retraction3.6 Retracting across files
Running proof assistant remotely7.4 User options

S
save2.3.2 Goal-save sequences
script buffer2.3 Script buffers
script managementHistory of Proof General
scripting2.2 Proof scripts
Shell3.9 Escaping script management
shell buffer2.4 Summary of Proof General buffers
Shell Proof General13. Shell Proof General
Speedbar5.2 Imenu and Speedbar
Strict read-only7.4 User options
structure editorHistory of Proof General
subscripts4. Unicode symbols and special layout support
superscripts4. Unicode symbols and special layout support
Switching between proof scripts3.4 Switching between proof scripts
symbols4. Unicode symbols and special layout support

T
tags5.5 Support for tags
three-buffer interaction7.3 Display customization
Tokens Mode4. Unicode symbols and special layout support
Toolbar button enablers7.4 User options
Toolbar disabling7.4 User options
Toolbar follow mode7.4 User options

U
Undo in read-only region7.4 User options
User options7.4 User options
Using Customize7.2 How to customize

V
Visibility of proofs3.3 Visibility of completed proofs

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  

[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by David Aspinall on October 3, 2011 using texi2html 1.82.