null

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`85 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 D	rules	`85 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 1161 milliseconds

Indexes created Tue Jul 24 14:28:13 CEST 2018