null

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`313 OMDoc_files = OMDoc/OMDocInterface.hs macro 407 OMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES) 408 $(GENRULECALL) -i ATC.IRI -o $@ $(OMDoc_files)`
/hets/debian/
H A D	rules	`313 OMDoc_files = OMDoc/OMDocInterface.hs macro 407 OMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES) 408 $(GENRULECALL) -i ATC.IRI -o $@ $(OMDoc_files)`

Completed in 1715 milliseconds