Searched refs:ending (Results 1 - 5 of 5) sorted by relevance

/hets/doc/
H A DLibraries.tex225 A CASL library is stored in a file ending ``.casl''. A directory having
226 the same name (but without the ending) contains previously-defined
232 ending is chosen (e.g.\ ``.hs'' for Haskell).
233 For heterogeneous libraries, the ending is ``.het''\footnote{``.spec''
H A DUserGuide.tex814 The ending \texttt{.hs} is available for directly reading in
817 By contrast, in \HetCASL libraries (ending with \texttt{.het}),
H A DUserGuideCommonLogic.tex648 By contrast, in \HetCASL libraries (ending with \texttt{.het}),
/hets/
H A Dvar.mk7 # Strip off the longest prefix ending with '-' incl. of arg $1, split remaining
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 48 milliseconds