From 14cae3990db2cd21527334d0966473fbe3c5ab58 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 10 Aug 2005 13:01:54 +0000 Subject: Updated. --- doc/proofgeneral.1 | 42 +++++++++++++++++------------------------- 1 file changed, 17 insertions(+), 25 deletions(-) (limited to 'doc/proofgeneral.1') 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 . +Report bugs to . +.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. -- cgit v1.2.3