Searched refs:Header (Results 1 - 4 of 4) sorted by relevance

/hets/utils/
H A DreplaceAllHeaders.sh3 for i in `find . -name \*.hs -exec fgrep -l \$Header\$ '{}' \;`
5 perl -lp -i -e 's+\$Header\$'"+$i+g" $i
H A Dwords.pl32 Module : $Header$
/hets/ATC/doc/
H A DATC-Rule-Generation.tex35 \section*{Header files}
36 Header files must have the suffix \verb|.header.hs| and the name of the file they
48 Header files are necessary, because \emph{DrIFT} can't generate all instances automatically.
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 26 milliseconds