Lines Matching +refs:show +refs:command +refs:entry

757 command line option of \Hets. In all other cases \texttt{.xml} files are
890 The following options let \Hets show the development graph of
968 Arrows show how specifications are related by the structuring
975 show that the view is well-formed (then its color turns into green).
1128 \item[Hide/show names/nodes/edges]
1129 The ``Hide/show names/nodes/edges'' menu is a toggle:
1133 With the ``Hide/show internal node names'' option, the nodes that
1136 With the ``Hide/show unnamed nodes without open proofs'' option, it is possible
1513 A special \emph{entry} is just \texttt{session} which only returns a fresh
1576 first time, it will show all goals as open. Within this list you can
1788  theorems have trivial proofs, using the `oops` command. However, if
1916 E-KRHyper's options, run the command
1920 in a terminal. Then enter the command
1925 a long list of all available parameters. You can exit E-KRHyper by the command
1940 Darwin supports a wide range of options, to get an overview of them run the command