1.1 --- a/doc-src/System/system.ind	Mon Aug 24 17:13:11 1998 +0200
     1.2 +++ b/doc-src/System/system.ind	Mon Aug 24 17:13:26 1998 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  \begin{theindex}
     1.5  
     1.6 -  \item {\tt browser} tool, 18
     1.7 +  \item {\tt browser} tool, 19
     1.8  
     1.9    \indexspace
    1.10  
    1.11 @@ -21,35 +21,36 @@
    1.12  
    1.13    \indexspace
    1.14  
    1.15 -  \item HTML, 11
    1.16 +  \item HTML, 12
    1.17  
    1.18    \indexspace
    1.19  
    1.20    \item {\tt INSTALL}, 1
    1.21 -  \item {\tt installfonts} tool, 13
    1.22 +  \item {\tt install} tool, 10
    1.23 +  \item {\tt installfonts} tool, 14
    1.24    \item {\tt ISABELLE} setting, 3
    1.25    \item {\tt Isabelle}, 1, 7
    1.26    \item {\tt isabelle}, 1, 4
    1.27 -  \item {\tt ISABELLE_BROWSER_INFO} setting, 4, 16
    1.28 +  \item {\tt ISABELLE_BROWSER_INFO} setting, 4, 17
    1.29    \item {\tt ISABELLE_DOCS} setting, 4
    1.30    \item {\tt ISABELLE_HOME} setting, 2, 3
    1.31    \item {\tt ISABELLE_HOME_USER} setting, 3
    1.32    \item {\tt ISABELLE_INSTALL_FONTS} setting, 4
    1.33 -  \item {\tt ISABELLE_INSTALLFONTS} setting, 13
    1.34 +  \item {\tt ISABELLE_INSTALLFONTS} setting, 14
    1.35    \item {\tt ISABELLE_INTERFACE} setting, 4, 7
    1.36    \item {\tt ISABELLE_LOGIC} setting, 4
    1.37    \item {\tt ISABELLE_OUTPUT} setting, 3, 4
    1.38    \item {\tt ISABELLE_PATH} setting, 3
    1.39    \item {\tt ISABELLE_TMP_PREFIX} setting, 4
    1.40    \item {\tt ISABELLE_TOOLS} setting, 4
    1.41 -  \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 11, 16
    1.42 -  \item {\tt IsaMakefile}, 10, 11
    1.43 +  \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 12, 17
    1.44 +  \item {\tt IsaMakefile}, 11, 12
    1.45    \item {\tt ISATOOL} setting, 3
    1.46    \item {\tt isatool}, 1, 6
    1.47  
    1.48    \indexspace
    1.49  
    1.50 -  \item {\tt make} tool, 10
    1.51 +  \item {\tt make} tool, 11
    1.52    \item {\tt makeall} tool, 11
    1.53    \item {\tt ML_HOME} setting, 3
    1.54    \item {\tt ML_OPTIONS} setting, 3
    1.55 @@ -57,22 +58,22 @@
    1.56  
    1.57    \indexspace
    1.58  
    1.59 -  \item {\tt nonascii} tool, 14
    1.60 +  \item {\tt nonascii} tool, 15
    1.61  
    1.62    \indexspace
    1.63  
    1.64    \item settings, \bold{1}
    1.65 -  \item {\tt symbolinput} tool, 15
    1.66 -  \item {\tt symbols}, 13
    1.67 +  \item {\tt symbolinput} tool, 16
    1.68 +  \item {\tt symbols}, 14
    1.69  
    1.70    \indexspace
    1.71  
    1.72 -  \item theory browsing information, \bold{16}
    1.73 -  \item theory graph browser, \bold{17}
    1.74 +  \item theory browsing information, \bold{17}
    1.75 +  \item theory graph browser, \bold{18}
    1.76  
    1.77    \indexspace
    1.78  
    1.79 -  \item {\tt use_dir}, 17
    1.80 -  \item {\tt usedir} tool, 11
    1.81 +  \item {\tt use_dir}, 18
    1.82 +  \item {\tt usedir} tool, 12
    1.83  
    1.84  \end{theindex}