doc-src/Ref/introduction.tex
 changeset 1372 16330e3fa3b7 parent 1102 a203181678d3 child 2225 78a8faae780f
equal inserted replaced
1371:2f97fc253763 1372:16330e3fa3b7
   218   pretty printing information from the proof state last stored in the
   218   pretty printing information from the proof state last stored in the
   219   subgoal module.  The appearance of the output thus depends upon the
   219   subgoal module.  The appearance of the output thus depends upon the
   220   theory used in the last interactive proof.
   220   theory used in the last interactive proof.
   221 \end{warn}
   221 \end{warn}
   222
   222
   223 \section{Shell scripts}
   223 \section{Shell scripts}\label{sec:shell-scripts}
   224 \index{shell scripts|bold} The following files are distributed with
   224 \index{shell scripts|bold} The following files are distributed with
   225 Isabelle, and work under Unix$^{\rm TM}$.  They can be executed as commands
   225 Isabelle, and work under Unix$^{\rm TM}$.  They can be executed as commands
   226 to the Unix shell.  Some of them depend upon shell environment variables.
   226 to the Unix shell.  Some of them depend upon shell environment variables.
   227 \begin{ttdescription}
   227 \begin{ttdescription}
   228 \item[make-all $switches$] \index{*make-all shell script}
   228 \item[make-all $switches$] \index{*make-all shell script}