[ < ] [ > ]   [ << ] [ 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 buffer2.3.3 Active scripting buffer
Alt1.5 Prerequisites for this manual
Assertion2.3.1 Locked, queue, and editing regions
Assertion4.5 Asserting across files

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

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

D
Dedicated windows6.4 User options
display customization6.3 Display customization

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

F
Features1.3 Features of Proof General
file variables7.2 Using file variables
font lock5.1 Syntax highlighting
frames6.3 Display customization
fume-func5.4 Imenu and Speedbar (and Function Menu)
func-menu5.4 Imenu and Speedbar (and Function Menu)
function menu5.4 Imenu and Speedbar (and Function Menu)
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 letters5.2 X-Symbol support
Greek letters5.3 Unicode support

H
historyHistory of Proof General
HOL Proof General11. HOL Proof General

I
Imenu5.4 Imenu and Speedbar (and Function Menu)
Indentation6.4 User options
index menu5.4 Imenu and Speedbar (and Function Menu)
Input ring4.8 Editing features
Input ring6.4 User options
Isabelle commands10.2 Isabelle commands
Isabelle customizations10.4 Isabelle customizations
Isabelle logic10.1 Choosing logic and starting isabelle
Isabelle Proof General10. Isabelle Proof General

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

L
LEGO Proof General8. LEGO Proof General
lego-modeCredits
lego-modeHistory of Proof General
Locked region2.3.1 Locked, queue, and editing regions
logical symbols5.2 X-Symbol support
logical symbols5.3 Unicode support

M
maintenanceCredits
mathematical symbols5.2 X-Symbol support
mathematical symbols5.3 Unicode support
Meta1.5 Prerequisites for this manual
Multiple Files4. Advanced Script Management and Editing
multiple frames6.3 Display customization
multiple windows6.3 Display customization

N
newsLatest news for version 3.7.1
newsOld News for 3.1
newsOld News for 3.2

O
outline mode5.5 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 indentation6.4 User options
proof script mode2.3 Script buffers

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

R
Remote host6.4 User options
Remote shell6.4 User options
response buffer2.4 Summary of Proof General buffers
Retraction2.3.1 Locked, queue, and editing regions
Retraction4.4 Retracting across files
Running proof assistant remotely6.4 User options

S
save2.3.2 Goal-save sequences
script buffer2.3 Script buffers
script managementHistory of Proof General
scripting2.2 Proof scripts
Shell4.7 Escaping script management
shell buffer2.4 Summary of Proof General buffers
Shell Proof General12. Shell Proof General
Speedbar5.4 Imenu and Speedbar (and Function Menu)
Strict read-only6.4 User options
structure editorHistory of Proof General
Switching between proof scripts4.2 Switching between proof scripts
symbols5.2 X-Symbol support
symbols5.3 Unicode support

T
tags5.7 Support for tags
three-buffer interaction6.3 Display customization
Toolbar button enablers6.4 User options
Toolbar disabling6.4 User options
Toolbar follow mode6.4 User options

U
Undo in read-only region6.4 User options
User options6.4 User options
Using Customize6.2 How to customize

V
Visibility of proofs4.1 Visibility of completed proofs

W
Why use Proof General?1.3 Features of Proof General

X
X-Symbols5.2 X-Symbol support
X-Symbols5.3 Unicode 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  

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

This document was generated by David Aspinall on July, 24 2008 using texi2html 1.78.