From 0449c83a7a0c6291131d360439f660c439ada283 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 Mar 2004 00:20:54 +0000 Subject: Better title --- doc/proofgeneral.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/proofgeneral.1') 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]... -- cgit v1.2.3