diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 12 |
1 files changed, 6 insertions, 6 deletions
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, |