Lines Matching +refs:hpf +refs:mode +refs:version
16 \usepackage[hide]{ed} % set to hide for producing a released version
467 The latest \Hets version can be obtained from the
473 improved constantly, it is recommended always to use the latest version.
518 Tcl/Tk & graphics widget system & (version 8.4 or 8.5 must be installed before)\\\hline
1323 in the top right part of the window the batch mode can be controlled. The
1449 file. \texttt{hpf} files are plain text files representing heterogeneous
1450 proof scripts. The contents of a \texttt{hpf} file must be valid input for
1451 \Hets in interactive mode. (\texttt{gen\_trm} formats are currently not
1466 | hpf
1511 The \texttt{xml} option will produce an XML-version of the development graph
1540 \LaTeX\ version of \texttt{Cat.clif} by typing:
1579 \item[\texttt{-I}, \texttt{-{}-interactive}] run \Hets in interactive mode
1585 \Hets in interactive mode
1588 with \Hets in interactive mode by listening to the port \texttt{PORT}
1591 with \Hets in interactive mode via connecting to the port on host
1620 \item[\texttt{-V}, \texttt{-{}-version}] Print version number and exit.
1641 %%% mode: latex
1654 % LocalWords: Suttner Waldmeister urgen ITYPE OMDoc prf ATerms env hpf trm hs