# HG changeset patch
# User wenzelm
# Date 934985040 -7200
# Node ID d3ed595dd772d52d43b99607546e4e02d08f1da1
# Parent  35de2117b5dd167fd83e2b7781ca38f6c6cb92f6
replaced 'ProofGeneral' by 'Proof General';

diff -r 35de2117b5dd -r d3ed595dd772 NEWS
--- a/NEWS	Wed Aug 18 15:40:45 1999 +0200
+++ b/NEWS	Wed Aug 18 16:04:00 1999 +0200
@@ -48,7 +48,7 @@
 reasoning); see isatool doc isar-ref and
 http://isabelle.in.tum.de/Isar/ for more information;
 
-* native support for ProofGeneral, both for classic Isabelle and
+* native support for Proof General, both for classic Isabelle and
 Isabelle/Isar (the latter is slightly better supported and more
 robust);
 
diff -r 35de2117b5dd -r d3ed595dd772 doc-src/System/basics.tex
--- a/doc-src/System/basics.tex	Wed Aug 18 15:40:45 1999 +0200
+++ b/doc-src/System/basics.tex	Wed Aug 18 16:04:00 1999 +0200
@@ -391,18 +391,18 @@
 
 \medskip
 
-ProofGeneral\index{user interface!ProofGeneral} of LFCS Edinburgh is another,
-much more advanced interface.  It supports both classic Isabelle (as
+Proof~General\index{user interface!Proof General} of LFCS Edinburgh is
+another, much more advanced interface.  It supports both classic Isabelle (as
 \texttt{ProofGeneral/isa}) and Isabelle/Isar (as \texttt{ProofGeneral/isar}).
 Note that the latter is slightly better supported, and more robust.
-ProofGeneral already ships with appropriate executable scripts to be run as
-Isabelle interface.  Thus a typical setup of ProofGeneral for Isabelle/Isar
+Proof~General already ships with appropriate executable scripts to be run as
+Isabelle interface.  Thus a typical setup of Proof~General for Isabelle/Isar
 would be like this:
 \begin{ttbox}
 ISABELLE_INTERFACE=\$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
 PROOFGENERAL_OPTIONS="-p emacs -u true"
 \end{ttbox}
-See \cite{proofgeneral} for more information on ProofGeneral.
+See \cite{proofgeneral} for more information on Proof~General.
 
 
 %%% Local Variables: