From d31ef5ba01383b1a56802d99c39821503b0a0aec Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 22 Nov 1999 19:10:12 +0000
Subject: Typo

---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 51f4fb7c..d614a1a0 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1579,8 +1579,8 @@ The packages currently supported are @code{font-lock} @code{func-menu},
 * Support for tags::            
 @end menu
 
-@node Syntax Highlighting
-@section Syntax Highlighting
+@node Syntax highlighting
+@section Syntax highlighting
 @vindex lego-mode-hooks
 @vindex coq-mode-hooks
 @vindex isa-mode-hooks
-- 
cgit v1.2.3