19 |
19 |
20 \item {\tt getenv} tool, 9 |
20 \item {\tt getenv} tool, 9 |
21 |
21 |
22 \indexspace |
22 \indexspace |
23 |
23 |
24 \item HTML, 11 |
24 \item HTML, 12 |
25 |
25 |
26 \indexspace |
26 \indexspace |
27 |
27 |
28 \item {\tt INSTALL}, 1 |
28 \item {\tt INSTALL}, 1 |
29 \item {\tt installfonts} tool, 13 |
29 \item {\tt install} tool, 10 |
|
30 \item {\tt installfonts} tool, 14 |
30 \item {\tt ISABELLE} setting, 3 |
31 \item {\tt ISABELLE} setting, 3 |
31 \item {\tt Isabelle}, 1, 7 |
32 \item {\tt Isabelle}, 1, 7 |
32 \item {\tt isabelle}, 1, 4 |
33 \item {\tt isabelle}, 1, 4 |
33 \item {\tt ISABELLE_BROWSER_INFO} setting, 4, 16 |
34 \item {\tt ISABELLE_BROWSER_INFO} setting, 4, 17 |
34 \item {\tt ISABELLE_DOCS} setting, 4 |
35 \item {\tt ISABELLE_DOCS} setting, 4 |
35 \item {\tt ISABELLE_HOME} setting, 2, 3 |
36 \item {\tt ISABELLE_HOME} setting, 2, 3 |
36 \item {\tt ISABELLE_HOME_USER} setting, 3 |
37 \item {\tt ISABELLE_HOME_USER} setting, 3 |
37 \item {\tt ISABELLE_INSTALL_FONTS} setting, 4 |
38 \item {\tt ISABELLE_INSTALL_FONTS} setting, 4 |
38 \item {\tt ISABELLE_INSTALLFONTS} setting, 13 |
39 \item {\tt ISABELLE_INSTALLFONTS} setting, 14 |
39 \item {\tt ISABELLE_INTERFACE} setting, 4, 7 |
40 \item {\tt ISABELLE_INTERFACE} setting, 4, 7 |
40 \item {\tt ISABELLE_LOGIC} setting, 4 |
41 \item {\tt ISABELLE_LOGIC} setting, 4 |
41 \item {\tt ISABELLE_OUTPUT} setting, 3, 4 |
42 \item {\tt ISABELLE_OUTPUT} setting, 3, 4 |
42 \item {\tt ISABELLE_PATH} setting, 3 |
43 \item {\tt ISABELLE_PATH} setting, 3 |
43 \item {\tt ISABELLE_TMP_PREFIX} setting, 4 |
44 \item {\tt ISABELLE_TMP_PREFIX} setting, 4 |
44 \item {\tt ISABELLE_TOOLS} setting, 4 |
45 \item {\tt ISABELLE_TOOLS} setting, 4 |
45 \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 11, 16 |
46 \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 12, 17 |
46 \item {\tt IsaMakefile}, 10, 11 |
47 \item {\tt IsaMakefile}, 11, 12 |
47 \item {\tt ISATOOL} setting, 3 |
48 \item {\tt ISATOOL} setting, 3 |
48 \item {\tt isatool}, 1, 6 |
49 \item {\tt isatool}, 1, 6 |
49 |
50 |
50 \indexspace |
51 \indexspace |
51 |
52 |
52 \item {\tt make} tool, 10 |
53 \item {\tt make} tool, 11 |
53 \item {\tt makeall} tool, 11 |
54 \item {\tt makeall} tool, 11 |
54 \item {\tt ML_HOME} setting, 3 |
55 \item {\tt ML_HOME} setting, 3 |
55 \item {\tt ML_OPTIONS} setting, 3 |
56 \item {\tt ML_OPTIONS} setting, 3 |
56 \item {\tt ML_SYSTEM} setting, 3 |
57 \item {\tt ML_SYSTEM} setting, 3 |
57 |
58 |
58 \indexspace |
59 \indexspace |
59 |
60 |
60 \item {\tt nonascii} tool, 14 |
61 \item {\tt nonascii} tool, 15 |
61 |
62 |
62 \indexspace |
63 \indexspace |
63 |
64 |
64 \item settings, \bold{1} |
65 \item settings, \bold{1} |
65 \item {\tt symbolinput} tool, 15 |
66 \item {\tt symbolinput} tool, 16 |
66 \item {\tt symbols}, 13 |
67 \item {\tt symbols}, 14 |
67 |
68 |
68 \indexspace |
69 \indexspace |
69 |
70 |
70 \item theory browsing information, \bold{16} |
71 \item theory browsing information, \bold{17} |
71 \item theory graph browser, \bold{17} |
72 \item theory graph browser, \bold{18} |
72 |
73 |
73 \indexspace |
74 \indexspace |
74 |
75 |
75 \item {\tt use_dir}, 17 |
76 \item {\tt use_dir}, 18 |
76 \item {\tt usedir} tool, 11 |
77 \item {\tt usedir} tool, 12 |
77 |
78 |
78 \end{theindex} |
79 \end{theindex} |