Title: Theory / Unimportant / CS / Programming / Coq / proof-mode

Page: 15
Effect: evaluate the buffer until the current point
Context: emacs proof-general mode
Chapter: 1
Section: 6.2
Abbreviation: C-ret

Instruction: C-c
Page: 19
Effect: enter proof-general mode
Context: emacs proof-general
Chapter: 2

Instruction: p
Page: 19
Effect: display proof state
Context: emacs proof-general
Chapter: 2

Instruction: C-t
Page: 19
Effect: display context
Context: emacs proof-general
Chapter: 2

Instruction: C-u
Page: 19
Effect: Undo step
Context: emacs proof-general
Chapter: 2