Lines Matching defs:in
92 independently of their registration in the global directory.
116 for use in a path in a URI. An indirect link is interpreted as a URI
121 following the key words `\Gram{library}' and `\Gram{from}' in
148 \section{Proposal for implementation in the Heterogeneous Tool Set (\Hets)}
166 in \Hets:
185 suffice. Setting up an Apache server in order to be able to use cvsweb
197 (otherwise the first name in \texttt{path} it is interpreted as a hostname).
201 also be allowed as defining library name in a local library
207 \texttt{name} in path \texttt{path} version \texttt{nnn} is accessed via \texttt{path/name/v\_nnn},
210 means that library \texttt{name} in path \texttt{path} version \texttt{nnn} is accessed via
214 A decision in favour of the former approach is taken in the summary,
225 A CASL library is stored in a file ending ``.casl''. A directory having
238 \item The versioning is realized in cvs with tags\footnote{Probably, viewcvs
243 The versioning scheme shall be supported by a shell script that in
276 Numbers version 0.7 when importing StructuredDatatypes version 0.9 in order
285 in such a project, and we just should provide a mechanism for
287 the cvs tag is set, but also the version numbers used in the CASL