debian man page for proofgeneral

Query: proofgeneral

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

PROOFGENERAL(1) 					      General Commands Manual						   PROOFGENERAL(1)

NAME
proofgeneral - start Emacs with the Proof General splash screen
SYNOPSIS
proofgeneral files...
DESCRIPTION
The command proofgeneral is just an abbreviation for emacs23 -f proof-splash-display-screen. Thus it starts emacs, displays the Proof Gen- eral 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). January 6, 2012 PROOFGENERAL(1)
Related Man Pages
checker(1) - debian
splash(4) - debian
splash(4) - mojave
tk::splashscreen(3pm) - debian
splash(4) - suse
Similar Topics in the Unix Linux Community
Adding the individual columns of a matrix.
Find columns in a file based on header and print to new file
A (ksh) Library For and From UNIX.com
How to copy a column of multiple files and paste into new excel file (next to column)?
New UNIX and Linux History Sections