diff options
author | 2000-07-12 12:49:01 +0000 | |
---|---|---|
committer | 2000-07-12 12:49:01 +0000 | |
commit | dbc0f6378eed4eed1405f4527e1610a0806344ef (patch) | |
tree | 0c4adf462441d89e73c2b31332e62687b137274b /doc | |
parent | b810678b73308e26141009dab70b2f3e53e3cb63 (diff) |
Minor updates
Diffstat (limited to 'doc')
-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, |