From 52e15c716771ddcd60c59a1f22db47d644e8de41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Dec 1998 10:43:21 +0000
Subject: Fixed spelling error.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 12d71be8..43daa71c 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -261,7 +261,7 @@ as generic as we had hoped. Whereas LEGO and Coq are similar systems in
 many ways, Isabelle was really a different beast. Fierce reengineering
 and various improvements were provided by David Aspinall and Thomas
 Kleymann to make it easier to instantiate to new proof systems. The
-major technical improvement was a truely generic extension of script
+major technical improvement was a truly generic extension of script
 management to work across multiple files.
 
 It was time to come up with a better name than just @code{proof}
-- 
cgit v1.2.3