Lines Matching +refs:casl +refs:mode +refs:version

3 \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-amalg} is
743 \texttt{.casl} & \CASL & \CASL \\\hline
760 Although the endings \texttt{.casl} and \texttt{.het} are
909 Let us extend the above library \texttt{Order.casl}. One use of the
950 \texttt{hets -g Order.casl}
954 \texttt{Order.casl}).
1037 \texttt{hets -g Sorting.casl}
1039 assuming that \texttt{Sorting.casl} contains the above specifications.
1074 We have already added this view to \texttt{Sorting.casl}.
1310   as explicit type of the input file.  By default \texttt{env}, \texttt{casl},
1312   contains a shared ATerm of a development graph, whereas \texttt{casl} or
1320   a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1323   \Hets in interactive mode.  (\texttt{gen\_trm} formats are currently not
1328     casl
1380 The \texttt{xml} option will produce an XML-version of the development graph
1421 \LaTeX\ version of \texttt{Order.casl} by typing:
1424 \texttt{hets -v2 -o pp.tex Order.casl}
1460 \item[\texttt{-I}, \texttt{--interactive}] run \Hets in interactive mode
1466   \Hets in interactive mode
1469   with \Hets in interactive mode vy listining to the port \texttt{PORT}
1472   with \Hets in interactive mode via connecting to the port on host
1494 \url{http://localhost:8000/Basic/Numbers.casl}. Once a development has been
1515 \url{http://localhost:8000/Basic/Numbers.casl?session}. These session ids must
1539 \item[\texttt{-V}, \texttt{--version}] Print version number and exit.
1655 in the top right part of the window the batch mode can be controlled.  The
1869 underlying OWL 2, written in Java. A Java Runtime Environment (in version $> 1.5$)
1878 A Java Runtime Environment (in version $>= 1.6$) has to be installed. To use Fact++,
2025 version, where e.g.\ error handling is ignored. For technical reasons
2198 %%% mode: latex