Go to the first, previous, next, last section, table of contents.


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

a

  • active scripting buffer
  • Alt
  • Assertion, Assertion
  • b

  • blue text
  • buffer display customization
  • c

  • Centaur
  • Classic Isabelle
  • colour
  • completion
  • CtCoq
  • Customization
  • d

  • Dedicated windows
  • display customization
  • e

  • Editing region
  • Emacs customization library
  • f

  • Features
  • file variables
  • font lock
  • frames
  • fume-func
  • func-menu
  • Future
  • g

  • generic
  • goal
  • goal-save sequences
  • goals buffer
  • Greek letters
  • h

  • history
  • HOL Proof General
  • i

  • Indentation
  • Isabelle Proof General
  • Isabelle proof scripts
  • Isabelle/Isar
  • k

  • key sequences
  • keybindings
  • l

  • LEGO Proof General
  • lego-mode, lego-mode
  • Locked region
  • logical symbols
  • m

  • maintenance
  • mathematical symbols
  • Meta
  • ML files (in Isabelle), ML files (in Isabelle)
  • Multiple Files
  • multiple frames
  • multiple windows
  • n

  • news, news, news
  • o

  • outline mode
  • p

  • pink text
  • prefix argument
  • proof assistant
  • proof by pointing, proof by pointing
  • Proof General
  • Proof General Kit
  • proof script
  • Proof script indentation
  • proof script mode
  • q

  • Query program name
  • Queue region
  • r

  • real symbols
  • Remote host
  • Remote shell
  • response buffer
  • Retraction, Retraction
  • Running proof assistant remotely
  • s

  • save
  • script buffer
  • script management
  • scripting
  • Shell
  • shell buffer
  • Strict read-only
  • structure editor
  • Switching between proof scripts
  • Switching to theory files
  • t

  • tags
  • Theory files (in Isabelle)
  • three-buffer interaction
  • Toolbar button enablers
  • Toolbar disabling
  • Toolbar follow mode
  • u

  • User options
  • Using Customize
  • v

  • Visibility of proofs
  • w

  • Why use Proof General?
  • x

  • X-Symbols

  • Go to the first, previous, next, last section, table of contents.