Searched defs:Temporal_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile299 Temporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \ macro
383 Temporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
384 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
/hets/debian/
H A Drules299 Temporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \ macro
383 Temporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
384 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)

Completed in 1592 milliseconds