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 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/dir') 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 -- cgit v1.2.3