]> Git — Sourcephile - doclang.git/history - Hdoc/TCT/Write/XML.hs
sourcephile / git / doclang.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
DTC: better handling of errors in judgments
[doclang.git] / Hdoc / TCT / Write / XML.hs
2018-10-26 Julien MoutinhoMove <judgment/> into <about/>. blob | commitdiff | raw
2018-10-12 Julien MoutinhoAdd PairAt, TokenAt and PlainAt. blob | commitdiff | raw | diff to current
2018-10-10 Julien MoutinhoFix Index. blob | commitdiff | raw | diff to current
2018-10-10 Julien MoutinhoFix TCT Reference ID syntax. blob | commitdiff | raw | diff to current
2018-10-07 Julien MoutinhoFix HTML5 rendering of external references. blob | commitdiff | raw | diff to current
2018-06-22 Julien MoutinhoRenames in XML, to use it qualified. blob | commitdiff | raw | diff to current
2018-06-22 Julien MoutinhoAdd error support in HTML5. blob | commitdiff | raw | diff to current
2018-06-12 Julien MoutinhoAdd Majority Judgment support. blob | commitdiff | raw | diff to current
2018-05-16 Julien MoutinhoRename Language -> Hdoc. blob | commitdiff | raw | diff to current
Tools for writing technical documents