[ << ] [ >> ] [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 raise8.3 Display customization
Automatic processing3.2 Automatic processing
autosend3.2 Automatic processing

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

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

D
Dedicated windows8.4 User options
display customization8.3 Display customization

E
EasyCrypt Proof General14. EasyCrypt Proof General
Editing region2.3.1 Locked, queue, and editing regions
Emacs customization library8.2 How to customize

F
Features1.3 Features of Proof General
file variables9.2 Using file variables
font lock5.1 Syntax highlighting
frames8.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 Light Proof General13. HOL Light Proof General

I
Imenu5.2 Imenu and Speedbar
Indentation8.4 User options
index menu5.2 Imenu and Speedbar
Input ring3.10 Editing features
Input ring8.4 User options
Isabelle commands12.2 Isabelle commands
Isabelle customizations12.4 Isabelle customizations
Isabelle logic12.1 Choosing logic and starting isabelle
Isabelle Proof General12. Isabelle Proof General

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

L
LEGO Proof General10. 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 frames8.3 Display customization
multiple windows8.3 Display customization

N
newsNews for Version 4.4
newsNews for Version 4.3
newsNews for Version 4.2
newsNews for Version 4.1
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 indentation8.4 User options
proof script mode2.3 Script buffers
proof-tree visualization7. Graphical Proof-Tree Visualization

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

R
Remote host8.4 User options
Remote shell8.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 remotely8.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 General15. Shell Proof General
Speedbar5.2 Imenu and Speedbar
Strict read-only8.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 interaction8.3 Display customization
Tokens Mode4. Unicode symbols and special layout support
Toolbar button enablers8.4 User options
Toolbar disabling8.4 User options
Toolbar follow mode8.4 User options

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 Erik Martin-Dorel on June 2, 2019 using texi2html 1.82.