38 \item {\tt ISABELLE_INSTALL_FONTS} setting, 4 |
38 \item {\tt ISABELLE_INSTALL_FONTS} setting, 4 |
39 \item {\tt ISABELLE_INSTALLFONTS} setting, 14 |
39 \item {\tt ISABELLE_INSTALLFONTS} setting, 14 |
40 \item {\tt ISABELLE_INTERFACE} setting, 4, 7 |
40 \item {\tt ISABELLE_INTERFACE} setting, 4, 7 |
41 \item {\tt ISABELLE_LOGIC} setting, 4 |
41 \item {\tt ISABELLE_LOGIC} setting, 4 |
42 \item {\tt ISABELLE_OUTPUT} setting, 3, 4 |
42 \item {\tt ISABELLE_OUTPUT} setting, 3, 4 |
43 \item {\tt ISABELLE_PATH} setting, 3 |
43 \item {\tt ISABELLE_PATH} setting, 3, 4 |
44 \item {\tt ISABELLE_TMP_PREFIX} setting, 4 |
44 \item {\tt ISABELLE_TMP_PREFIX} setting, 4 |
45 \item {\tt ISABELLE_TOOLS} setting, 4 |
45 \item {\tt ISABELLE_TOOLS} setting, 4 |
46 \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 12, 17 |
46 \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 12, 17 |
47 \item {\tt IsaMakefile}, 11, 12 |
47 \item {\tt IsaMakefile}, 11, 12 |
48 \item {\tt ISATOOL} setting, 3 |
48 \item {\tt ISATOOL} setting, 3 |
55 \indexspace |
55 \indexspace |
56 |
56 |
57 \item {\tt make} tool, 11 |
57 \item {\tt make} tool, 11 |
58 \item {\tt makeall} tool, 12 |
58 \item {\tt makeall} tool, 12 |
59 \item {\tt ML_HOME} setting, 3 |
59 \item {\tt ML_HOME} setting, 3 |
|
60 \item {\tt ML_IDENTIFIER} setting, 3 |
60 \item {\tt ML_OPTIONS} setting, 3 |
61 \item {\tt ML_OPTIONS} setting, 3 |
61 \item {\tt ML_PLATFORM} setting, 3 |
62 \item {\tt ML_PLATFORM} setting, 3 |
62 \item {\tt ML_SYSTEM} setting, 3 |
63 \item {\tt ML_SYSTEM} setting, 3 |
63 |
64 |
64 \indexspace |
65 \indexspace |