From 27882c226926ba8dbb83ecfca961f3498ab7f0e4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 11:46:42 +0000
Subject: Add PG adapting.

---
 doc/dir | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/dir')

diff --git a/doc/dir b/doc/dir
index 134485ff..54534ec3 100644
--- a/doc/dir
+++ b/doc/dir
@@ -16,4 +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!
+* Proof General: (ProofGeneral).         Organize your proofs with Emacs!
+* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers
-- 
cgit v1.2.3