]> Git — Sourcephile - doclang.git/history - Language/TCT/Utils.hs
Rename Language -> Hdoc.
[doclang.git] / Language / TCT / Utils.hs
2018-05-16 Julien MoutinhoRename Language -> Hdoc.
2018-03-30 Julien MoutinhoRename document -> write*.
2018-02-04 Julien MoutinhoFix NodePara parsing.