Searched +refs:hpf +refs:mode +refs:version (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex16 \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 o
[all...]
H A DUserGuide.tex3 \usepackage[hide]{ed} % set to hide for producing a released version
571 The latest \Hets version can be obtained from the
577 improved constantly, it is recommended always to use the latest version.
602 Tcl/Tk & graphics widget system & (version 8.4 or 8.5)\\\hline
1199 to the current development graph in a .hpf file which can be later read by
1321 file. \texttt{hpf} files are plain text files representing heterogeneous
1322 proof scripts. The contents of a \texttt{hpf} file must be valid input for
1323 \Hets in interactive mode. (\texttt{gen\_trm} formats are currently not
1338 | hpf
1380 The \texttt{xml} option will produce an XML-version o
[all...]

Completed in 1625 milliseconds