From dbc0f6378eed4eed1405f4527e1610a0806344ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jul 2000 12:49:01 +0000
Subject: Minor updates

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 13932b7b..04b2a3e7 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -458,12 +458,12 @@ inside Isabelle.  David von Oheimb supplied the original patches for
 X-Symbol support.
 
 The generic base for Proof General was developed by Kleymann, Sequeira,
-Goguen and Aspinall (in order of appearance). It follows some of the
-ideas used in Project @uref{http://www.inria.fr/croap/,CROAP}. The
-project to implement a proof mode for LEGO was initiated in 1994 and
-coordinated until October 1998 by Thomas Kleymann, becoming generic
-along the way.  In October 1998, the project became Proof General and
-has been managed by David Aspinall since then.
+Goguen and Aspinall. It follows some of the ideas used in Project
+@uref{http://www.inria.fr/croap/,CROAP}. The project to implement a
+proof mode for LEGO was initiated in 1994 and coordinated until October
+1998 by Thomas Kleymann, becoming generic along the way.  In October
+1998, the project became Proof General and has been managed by David
+Aspinall since then.
 
 This manual was written by David Aspinall and Thomas Kleymann.  Some
 words found their way here from the user documentation of LEGO mode,
-- 
cgit v1.2.3