From cda087e0dcfc702e8850759024818a30e9d96fcc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Dec 1999 19:46:07 +0000
Subject: Typo.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index f7594505..26355884 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -160,7 +160,7 @@ Isabelle.
 * Proof by Pointing::
 * Advanced Script Management::  
 * Support for other Packages::  
-* Hints and tips::
+* Hints and Tips::
 * Customizing Proof General::   
 * LEGO Proof General::          
 * Coq Proof General::           
-- 
cgit v1.2.3