]> Git — Sourcephile - doclang.git/history - Hdoc/DTC/Read/TCT.hs
Add Majority Judgment support.
[doclang.git] / Hdoc / DTC / Read / TCT.hs
2018-06-12 Julien MoutinhoAdd Majority Judgment support.
2018-05-16 Julien MoutinhoRename Language -> Hdoc.