doc-src/IsarRef/Thy/document/Document_Preparation.tex
changeset 28505 f98751bd715f
parent 27881 f0d543629376
child 28788 ff9d8a8932e4
     1.1 --- a/doc-src/IsarRef/Thy/document/Document_Preparation.tex	Sat Oct 04 17:40:56 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/Document_Preparation.tex	Sat Oct 04 17:40:58 2008 +0200
     1.3 @@ -36,10 +36,10 @@
     1.4    easy by using the Isabelle \verb|mkdir| and \verb|make|
     1.5    tools.  First invoke
     1.6  \begin{ttbox}
     1.7 -  isatool mkdir Foo
     1.8 +  isabelle mkdir Foo
     1.9  \end{ttbox}
    1.10    to initialize a separate directory for session \verb|Foo| ---
    1.11 -  it is safe to experiment, since \verb|isatool mkdir| never
    1.12 +  it is safe to experiment, since \verb|isabelle mkdir| never
    1.13    overwrites existing files.  Ensure that \verb|Foo/ROOT.ML|
    1.14    holds ML commands to load all theories required for this session;
    1.15    furthermore \verb|Foo/document/root.tex| should include any
    1.16 @@ -51,7 +51,7 @@
    1.17    one level up from the \verb|Foo| directory location.  Now
    1.18    invoke
    1.19  \begin{ttbox}
    1.20 -  isatool make Foo
    1.21 +  isabelle make Foo
    1.22  \end{ttbox}
    1.23    to run the \verb|Foo| session, with browser information and
    1.24    document preparation enabled.  Unless any errors are reported by