Searched +refs:casl +refs:mode +refs:version (Results 1 - 3 of 3) sorted by relevance

/hets/doc/
H A DLibraries.tex9 \usepackage{casl}
26 {\nopagebreak\begin{quote}\casl}{\end{quote}\noindent
84 the location and perhaps identifies a particular version of the
96 \gramindex{LIB-VERSION} ::= lib-version LIB-ID VERSION-NUMBER
97 \gramindex{VERSION-NUMBER} ::= version-number NUMBER+
108 current version of the library but also to previously-defined
207 \texttt{name} in path \texttt{path} version \texttt{nnn} is accessed via \texttt{path/name/v\_nnn},
208 and the current version via \texttt{path/name/name}),
209 or should the version be appended to the name of the library (which
210 means that library \texttt{name} in path \texttt{path} version \textt
[all...]
H A DUserGuide.tex3 \usepackage[hide]{ed} % set to hide for producing a released version
6 \usepackage{casl}
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
684 \texttt{Order.casl} (actually, this file is provided
685 with the \Hets distribution as \texttt{Hets-lib/UserManual/Chapter3.casl}).
690 \texttt{hets Order.casl}
712 \item[\texttt{-a ANALYSIS}, \texttt{--casl-amalg=ANALYSIS}]
732 The default value for \texttt{--casl
[all...]
H A DUserGuideCommonLogic.tex16 \usepackage[hide]{ed} % set to hide for producing a released version
19 \usepackage{casl}
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
619 \texttt{.casl} & \CASL & \CASL \\\hline
627 Although the endings \texttt{.casl} and \texttt{.het} are
1323 in the top right part of the window the batch mode can be controlled. The
1448 a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1451 \Hets in interactive mode
[all...]

Completed in 238 milliseconds