Lines Matching defs:for
36 % - 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 indicating the language of the subsequent specification text.
170 The global directory for the indirect links is accessed by a list of
186 is too much for the moment.
232 ending is chosen (e.g.\ ``.hs'' for Haskell).
234 is already reserved for RPM specification files, and Emacs comes
235 with a standard mode for these.}, indicating that the needed
240 ordering only if main version numbers are not greater than 9.} , one for each version
265 require global version numbers for each package of libraries.
266 Here, a package is a collection of libraries needed for a specific
279 for each library, such that StructuredDatatypes version 0.9 uses
281 for the Basic Datatypes, but it would be easier if also \Hets would
283 cvs uses tags for this, and since these shall correspond to \CASL
285 in such a project, and we just should provide a mechanism for
297 %\item We should have a look at VSE to get feeling for a realistic system
305 Thanks to Christoph L\"uth, Klaus L\"uttich, Achim Mahnke and Peter D.\ Mosses for