Searched +refs:show +refs:command +refs:entry (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A DUserGuide.tex757 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 al
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 1645 milliseconds