equal
deleted
inserted
replaced
141 The Isabelle graph browser is a general tool for visualizing |
141 The Isabelle graph browser is a general tool for visualizing |
142 dependency graphs. Certain nodes of the graph (i.e.\ theories) can |
142 dependency graphs. Certain nodes of the graph (i.e.\ theories) can |
143 be grouped together in ``directories'', whose contents may be |
143 be grouped together in ``directories'', whose contents may be |
144 hidden, thus enabling the user to collapse irrelevant portions of |
144 hidden, thus enabling the user to collapse irrelevant portions of |
145 information. The browser is written in Java, it can be used both as |
145 information. The browser is written in Java, it can be used both as |
146 a stand-alone application and as an applet. Note that the option |
146 a stand-alone application and as an applet.% |
147 \verb|-g| of \indexref{}{tool}{usedir}\hyperlink{tool.usedir}{\mbox{\isa{\isatool{usedir}}}} creates graph presentations |
|
148 in batch mode for inclusion in session documents.% |
|
149 \end{isamarkuptext}% |
147 \end{isamarkuptext}% |
150 \isamarkuptrue% |
148 \isamarkuptrue% |
151 % |
149 % |
152 \isamarkupsubsection{Invoking the graph browser% |
150 \isamarkupsubsection{Invoking the graph browser% |
153 } |
151 } |