pretty printing information from the proof state last stored in the

   pretty printing information from the proof state last stored in the

   subgoal module.  The appearance of the output thus depends upon the

   subgoal module.  The appearance of the output thus depends upon the

   theory used in the last interactive proof.

   theory used in the last interactive proof.

 \end{warn}

 \end{warn}

 \index{shell scripts|bold} The following files are distributed with

 \index{shell scripts|bold} The following files are distributed with

 Isabelle, and work under Unix$^{\rm TM}$.  They can be executed as commands

 Isabelle, and work under Unix$^{\rm TM}$.  They can be executed as commands

 to the Unix shell.  Some of them depend upon shell environment variables.

 to the Unix shell.  Some of them depend upon shell environment variables.

 \begin{ttdescription}

 \begin{ttdescription}

 \item[make-all $switches$] \index{*make-all shell script}

 \item[make-all $switches$] \index{*make-all shell script}