Man page - proofgeneral(1)

Packages contains this manual

Package:  proofgeneral
apt-get install proofgeneral

Manuals in package:
• proofgeneral(1)
• coqtags(1)
Documentations in package:
• proofgeneral

Manual

PROOFGENERAL

NAME
SYNOPSIS
DESCRIPTION
SEE ALSO
AUTHOR

---

NAME

proofgeneral - start Emacs with the Proof General splash screen

SYNOPSIS

proofgeneral files ...

DESCRIPTION

The command proofgeneral is just an abbreviation for emacs -f proof-splash-display-screen . Thus it starts emacs, displays the Proof General splash screen and behaves otherwise identical to emacs.

Use proofgeneral file.v to start Proof General in Coq mode for file.v .

SEE ALSO

emacs (1),

AUTHOR

The proofgeneral script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may be used by others).

---