Searched defs:for (Results 1 - 3 of 3) sorted by relevance

/hets/doc/
H A DLibraries.tex36 % - prints and marks TEXT for the main index
40 % - marks TEXT,SUBTEXT and SUBTEXT,TEXT for the main index
48 % - prints \emph{TEXT} and marks TEXT for the main index
53 % - marks \Gram{TEXT} for the Symbol Index, sorted as TEXT
116 for use in a path in a URI. An indirect link is interpreted as a URI
123 syntax for \Gram{URI}: further forms may be recognized and supported.
148 \section{Proposal for implementation in the Heterogeneous Tool Set (\Hets)}
152 tools for different specification languages, thus providing a tool for
161 for indicatin
[all...]
/hets/Common/doc/
H A DOverview.tex8 \title{Common infrastructure for the CASL language family}
16 see the documentation for HetCATS
18 \section{Commonalities for all CASL extensions}
24 provided for.
52 an error message for every line.
74 \item[AS\_Annotation.der.hs] data types for annotations
77 \item[CaslLanguage.hs] (unused) parser for CASL mixfix ids based on
79 \item[GlobalAnnotations.hs] data type for global annotations (a
83 \item[Id.hs] data types for \texttt{Token} and \texttt{Id}
86 for parsin
[all...]
/hets/GUI/doc/
H A DWebInterfaceBuildGuide.tex29 If you want different locations for the generated files and html-links
67 \paragraph{Note for Uni-Bremen people} The user id with which hets.cgi

Completed in 28 milliseconds