localdir « doc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/doc/localdir

blob: b82dd96441deaebafe4fbd3a077c8c6a9096255a (plain)

1 2	`Theorem proving * Proof General: (ProofGeneral). Organize your proofs with Emacs!`