Searched defs:tt (Results 1 - 2 of 2) sorted by relevance

/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex51 The {\sc Csp-Casl} parser is being programmed as a part of {\tt Hets} and uses relative paths within the directory structure of {\tt Hets}.
52 Consequently, the directory containing the {\sc Csp-Casl} parser has to be a direct subdirectory of {\tt Hets}. No special characters
53 are allowed, the name '{\tt CspCASL}' may/should not be altered.
60 {\bf GNU make}, {\tt /usr/local/bin/perl} and {\tt /usr/local/bin/bash} are required, too.
61 \item All required sources must have been checked out using '{\tt cvs up -Pd}' in the top\\
62 directory {\tt HetCATS(Hets)}, followed by
63 \item '{\tt make distclean}' for Linux and '{\tt gmak
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 14 milliseconds