From e2525601783f88690317d3768fd69cec41fc2f76 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 16 Dec 1998 18:49:24 +0000 Subject: Fixup for filename --- doc/dir | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/dir') diff --git a/doc/dir b/doc/dir index fb63c6dc..134485ff 100644 --- a/doc/dir +++ b/doc/dir @@ -16,4 +16,4 @@ File: dir Node: Top This is the top of the INFO tree * Menu: Theorem proving -* ProofGeneral:: Organize your proofs with Emacs! +* Proof General: (ProofGeneral). Organize your proofs with Emacs! -- cgit v1.2.3