Searched +refs:casl +refs:hets +refs:options (Results 1 - 3 of 3) sorted by relevance

/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex64 \item '{\tt make hets} ' for Linux and '{\tt gmake hets}' for Solaris users to generate needed\\
66 \item '{\tt cd CspCASL}' and call the script '{\tt ghc-call}', which calls {\bf ghc} with the needed options.
74 '{\tt c3po testfile.csp-casl}'.
78 '{\tt c3po t1.csp-casl t2.csp-casl} (...)'
80 For testing reasons, a script named '{\tt tests}' can be called, which will parse all files in the same directory with the suffix '{\tt csp-casl}'.
/hets/doc/
H A DUserGuide.tex6 \usepackage{casl}
139 Comments to: hets-users@informatik.uni-bremen.de \\
164 \includegraphics[width=0.45\textwidth]{hets-motherboard}
423 \verb+full-maude.maude+, \verb+hets.prj+, \verb+maude2haskell.maude+ and
574 \url{http://hets.eu}
587 sudo apt-add-repository ppa:hets/hets
589 sudo apt-get install hets
593 hets-core} instead of \texttt{hets}
[all...]
H A DUserGuideCommonLogic.tex19 \usepackage{casl}
157 Comments to: \href{mailto:hets-users@informatik.uni-bremen.de}{hets-users@informatik.uni-bremen.de} \\
218 \includegraphics[width=0.45\textwidth]{hets-motherboard}
470 \url{http://www.dfki.de/sks/hets}
484 sudo apt-add-repository ppa:hets/hets
488 sudo apt-get install hets
494 hets-core} instead of \texttt{hets}
[all...]

Completed in 1626 milliseconds