Search

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`321 ExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \ macro 422 ExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES) 423 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ExtModal_files)`
/hets/debian/
H A D	rules	`321 ExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \ macro 422 ExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES) 423 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ExtModal_files)`

Completed in 721 milliseconds