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

/hets/utils/GenerateRules/
H A DMakefile17 sources = GenerateRules.hs macro
33 genRules.tmp: $(sources)
/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex57 To compile the sources, follow this steps:
61 \item All required sources must have been checked out using '{\tt cvs up -Pd}' in the top\\
86 {\sc Csp-Casl} depends primary on {\sc Casl}, which depends on many other sources of {\tt Hets}. For detailed information about {\sc Casl}, you can find the documentation here:
/hets/doc/
H A DUserGuide.tex622 You may compile \Hets from the sources (they are licensed under GPL),
625 on the \Hets web page, download the sources (as tarball or from
1281 \item[Reload Library] Reloads all \HetCASL sources in order to avoid closing
1282 and restarting the application after sources have changed. However, all
H A DUserGuideCommonLogic.tex535 You may compile \Hets from the sources (they are licensed under GPL),
538 on the \Hets web page, download the sources (as tarball or from
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 1180 milliseconds