From 17dd957785be01704d5abe4ad17ca2f9c03b3d43 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 11:47:44 +0000
Subject: Tweak

---
 doc/dir      | 4 ++--
 doc/localdir | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/dir b/doc/dir
index 54534ec3..f81630d1 100644
--- a/doc/dir
+++ b/doc/dir
@@ -16,5 +16,5 @@ File: dir	Node: Top	This is the top of the INFO tree
 * Menu: 
 
 Theorem proving
-* Proof General: (ProofGeneral).         Organize your proofs with Emacs!
-* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers
+* Proof General: (ProofGeneral).          Organize your proofs with Emacs!
+* Adapting Proof General: (PG-adapting).  Adapt Proof General to new provers
diff --git a/doc/localdir b/doc/localdir
index 2b366965..4483fc9f 100644
--- a/doc/localdir
+++ b/doc/localdir
@@ -1,3 +1,3 @@
 Theorem proving
 * Proof General: (ProofGeneral).	 Organize your proofs with Emacs!
-* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers
+* Adapting Proof General: (PG-adapting). Adapt Proof General to new provers
-- 
cgit v1.2.3