GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  PROOFGENERAL (1)

NAME

proofgeneral - manual page for proofgeneral ()

CONTENTS

Synopsis
Description
Options
Examples
Copyright

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://proofgeneral.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 manual. If the info and proofgeneral programs are properly installed at your site, the command
info proofgeneral
should give you access to the complete manual.
Search for    or go to Top of page |  Section 1 |  Main Index


proofgeneral () PROOFGENERAL (1) August 2005

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.