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

/hets/
H A DMakefile87 DTD2HS_src = utils/DtdToHaskell-src/pre-1.22/ macro
89 DTD2HS_src = utils/DtdToHaskell-src/current/ macro
96 DTD2HS_deps = $(DTD2HS_src)*.hs
/hets/debian/
H A Drules87 DTD2HS_src = utils/DtdToHaskell-src/pre-1.22/ macro
89 DTD2HS_src = utils/DtdToHaskell-src/current/ macro
96 DTD2HS_deps = $(DTD2HS_src)*.hs

Completed in 1447 milliseconds