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

/hets/
H A DMakefile85 DTD2HS = utils/DtdToHaskell macro
569 $(DTD2HS): $(DTD2HS_deps) utils/DtdToHaskell-src/DtdToHaskell.hs
575 Isabelle/IsaExport.hs: $(DTD2HS) Isabelle/IsaExport.dtd
576 $(DTD2HS) Isabelle/IsaExport.dtd Isabelle/IsaExport.hs Isabelle.
647 $(DTD2HS) \
/hets/debian/
H A Drules85 DTD2HS = utils/DtdToHaskell macro
569 $(DTD2HS): $(DTD2HS_deps) utils/DtdToHaskell-src/DtdToHaskell.hs
575 Isabelle/IsaExport.hs: $(DTD2HS) Isabelle/IsaExport.dtd
576 $(DTD2HS) Isabelle/IsaExport.dtd Isabelle/IsaExport.hs Isabelle.
647 $(DTD2HS) \

Completed in 256 milliseconds