Searched refs:HolLight_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile286 HolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \ macro
365 HolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
366 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
/hets/debian/
H A Drules286 HolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \ macro
365 HolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
366 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)

Completed in 2724 milliseconds