doc-src/IsarRef/isar-ref.tex
changeset 7297 c1eeeadbe80a
parent 7167 0b2e3ef1d8f4
child 7335 abba35b98892
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Aug 19 19:56:17 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Aug 19 20:05:13 1999 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4    Any of the Isabelle/Isar commands may be executed in single-steps, so
     1.5    basically the interpreter has a proof text debugger already built-in.
     1.6    
     1.7 -  Employing the \emph{ProofGeneral/isar} instantiation of the generic Emacs
     1.8 +  Employing the Isar instantiation of \emph{Proof~General}, the generic Emacs
     1.9    interface for interactive proof assistants of LFCS Edinburgh, we arrive at a
    1.10    reasonable environment for \emph{live document editing}.  Thus proof texts
    1.11    may be developed incrementally by issuing proper document constructors,