diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 13:01:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 13:01:54 +0000 |
| commit | 14cae3990db2cd21527334d0966473fbe3c5ab58 (patch) | |
| tree | ef97f9a842879484b0f4b979d72ac35ec9aae7b8 /doc/proofgeneral.1 | |
| parent | 646a804e79791030fef1008d5c52c48377718527 (diff) | |
Updated.
Diffstat (limited to 'doc/proofgeneral.1')
| -rw-r--r-- | doc/proofgeneral.1 | 42 |
1 files changed, 17 insertions, 25 deletions
diff --git a/doc/proofgeneral.1 b/doc/proofgeneral.1 index 3d2a5b63..9c7a2450 100644 --- a/doc/proofgeneral.1 +++ b/doc/proofgeneral.1 @@ -1,13 +1,7 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.29. -.\" Well, actually, it was edited after that by me, so the dire -.\" warning should not be greatly feared. -.\" This is based on the output of: help2man ../bin/proofgeneral -.\" -.\" $Id$ -.\" -.TH PROOFGENERAL "1" "March 2004" "proofgeneral" "User Commands" +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.35. +.TH PROOFGENERAL "1" "August 2005" "proofgeneral ()" "User Commands" .SH NAME -proofgeneral \- launch Emacs Proof General +proofgeneral \- manual page for proofgeneral () .SH SYNOPSIS .B proofgeneral [\fIOPTION\fR] [\fIFILE\fR]... @@ -29,7 +23,7 @@ show this help and exit .TP \fB\-v\fR, \fB\-\-version\fR output version information and exit -.TP +.PP Unrecognized options are passed to Emacs, along with file names. .SH EXAMPLES .TP @@ -40,25 +34,23 @@ proofgeneral example.v Load Proof General editing Coq file Example.v .PP For documentation and latest versions, visit http://proofgeneral.inf.ed.ac.uk. -.SH AUTHOR -David Aspinall. .SH "REPORTING BUGS" -Report bugs to <da+pg-bugs@inf.ed.ac.uk>. +Report bugs to <da+pg\-bugs@inf.ed.ac.uk>. +.PP +David Aspinall. .SH COPYRIGHT -Copyright \(co 1998-2004 LFCS, University of Edinburgh, UK. +Copyright \(co 1998-2005 LFCS, University of Edinburgh, UK. .br This is free software; see the source for copying conditions. .SH "SEE ALSO" -The full documentation for Proof General is available within -the program, and also as the Texinfo manual. This should be -available by the command -.IP -.B info ProofGeneral -.PP -if the info file has been installed. There is a second -manual containing instructions on adapting Proof General -to new proof assistants: +The full documentation for +.B proofgeneral +is maintained as a Texinfo manual. If the +.B info +and +.B proofgeneral +programs are properly installed at your site, the command .IP -.B info PG-adapting +.B info proofgeneral .PP -Ordinary users do not need to consult this manual. +should give you access to the complete manual. |