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