proofgeneral man page on DragonFly
[printable version]
PROOFGENERAL(1) User Commands PROOFGENERAL(1)
NAME
proofgeneral - manual page for proofgeneral ()
SYNOPSIS
proofgeneral [OPTION] [FILE]...
DESCRIPTION
Launches Emacs Proof General, editing the proof script FILE.
OPTIONS
--emacs
startup Proof General with emacs (GNU Emacs)
--xemacs
startup Proof General with xemacs (XEmacs)
--emacsbin <EMACS>
startup Proof General with emacs binary <EMACS>
-h, --help
show this help and exit
-v, --version
output version information and exit
Unrecognized options are passed to Emacs, along with file names.
EXAMPLES
proofgeneral Example.thy
Load Proof General editing Isar file Example.thy
proofgeneral example.v
Load Proof General editing Coq file Example.v
For documentation and latest versions, visit http://proofgen‐
eral.inf.ed.ac.uk.
REPORTING BUGS
Report bugs to <da+pg-bugs@inf.ed.ac.uk>.
David Aspinall.
COPYRIGHT
Copyright © 1998-2005 LFCS, University of Edinburgh, UK.
This is free software; see the source for copying conditions.
SEE ALSO
The full documentation for proofgeneral is maintained as a Texinfo man‐
ual. If the info and proofgeneral programs are properly installed at
your site, the command
info proofgeneral
should give you access to the complete manual.
proofgeneral () August 2005 PROOFGENERAL(1)
[top]
List of man pages available for DragonFly
Copyright (c) for man pages and the logo by the respective OS vendor.
For those who want to learn more, the polarhome community provides shell access and support.
[legal]
[privacy]
[GNU]
[policy]
[cookies]
[netiquette]
[sponsors]
[FAQ]
Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................
|
|
Vote for polarhome
|
