Lines Matching refs:option
722 \texttt{sharing}. With this option on, the subsort embeddings are
727 check (\texttt{cell} option), but may prove more efficient in case
757 command line option of \Hets. In all other cases \texttt{.xml} files are
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
1146 proven edges'' option, it is possible to re-display these links; they are marked
1187 \item[Dump Development Graph] This option is available only for
1251 Show proof status} and {\bf Prove} and moroever, the option {\bf Show
1371 The \texttt{omn} option \cite{books/sp/Kohlhase06} will produce OWL files in
1380 The \texttt{xml} option will produce an XML-version of the development graph
1383 The \texttt{db} option will save the development graph to a database.
1406 option). It is assumed that the relation algebra is
1414 The \texttt{sig} or \texttt{th} option will create \HetCASL signature or
1445 level 2 (by using the option \texttt{-v2}) to get feedback which files are
1449 chooses a translation option. \texttt{TRANS} is a colon-separated list
1544 This must be the first option.
1915 the ``.'' at the end of each option is mandatory. To get an overview of