1.1 --- a/doc-src/Ref/introduction.tex	Wed Nov 29 16:47:38 1995 +0100
     1.2 +++ b/doc-src/Ref/introduction.tex	Wed Nov 29 16:56:54 1995 +0100
     1.3 @@ -220,7 +220,7 @@
     1.4    theory used in the last interactive proof.
     1.5  \end{warn}
     1.6  
     1.7 -\section{Shell scripts}
     1.8 +\section{Shell scripts}\label{sec:shell-scripts}
     1.9  \index{shell scripts|bold} The following files are distributed with
    1.10  Isabelle, and work under Unix$^{\rm TM}$.  They can be executed as commands
    1.11  to the Unix shell.  Some of them depend upon shell environment variables.