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