[ << ] [ >> ] [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

.
.dir-locals.el10.2.1 Changing the name of the coq project file

_
_CoqProject10.2 Using the Coq project file

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 General11. 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

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

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

L
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 file support10.4 Multiple File Support
Multiple Files3. Advanced Script Management and Editing
multiple frames8.3 Display customization
multiple windows8.3 Display customization

N
newsNews for Version 4.6
newsNews for Version 4.5
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
Omitting proofs for speed10.5 Omitting proofs for speed
opam-switch-mode support10.12 Opam-switch-mode support
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 using10.3 Proof using annotations
proof-tree visualization7. Graphical Proof-Tree Visualization
Proof-Tree visualization10.10 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 General12. Shell Proof General
Showing Proof Diffs10.11 Showing Proof Diffs
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 on March 28, 2024 using texi2html 1.82.