]> Git — Sourcephile - doclang.git/commit
Rename document -> write*.
authorJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 30 Mar 2018 05:16:41 +0000 (07:16 +0200)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 30 Mar 2018 05:16:41 +0000 (07:16 +0200)
commite5f0fbb5934f6c7e042fd86eede63d4806723f68
tree8183dd28082286e3653c96e2683afdb3b71a0599
parenteb99e7f62e550200cb5d63afbffc781dbb9e4fe5
Rename document -> write*.
Language/DTC/Sym.hs
Language/DTC/Write/HTML5.hs
Language/DTC/Write/XML.hs
Language/RNC/Sym.hs
Language/TCT/Utils.hs
Language/TCT/Write/HTML5.hs
Language/TCT/Write/Plain.hs
Language/TCT/Write/XML.hs
Text/Blaze/Utils.hs