diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:20:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:20:54 +0000 |
commit | 0449c83a7a0c6291131d360439f660c439ada283 (patch) | |
tree | ae71707739854a378088234b514027dc3d0effce /doc/proofgeneral.1 | |
parent | 4837c47973316f5b08912ace1646d8251073670f (diff) |
Better title
Diffstat (limited to 'doc/proofgeneral.1')
-rw-r--r-- | doc/proofgeneral.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/proofgeneral.1 b/doc/proofgeneral.1 index 817bf469..1c5066f1 100644 --- a/doc/proofgeneral.1 +++ b/doc/proofgeneral.1 @@ -7,7 +7,7 @@ .\" .TH PROOFGENERAL "1" "March 2004" "proofgeneral" "User Commands" .SH NAME -proofgeneral \- manual page for proofgeneral +proofgeneral \- launch Emacs Proof General .SH SYNOPSIS .B proofgeneral [\fIOPTION\fR] [\fIFILE\fR]... |