sourcephile
/
git
/
doclang.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
make: fix ghcid target
[doclang.git]
/
Hdoc
/
2018-10-26
Julien Moutinho
Move <judgment/> into <about/>.
tree
|
commitdiff
2018-10-13
Julien Moutinho
fixup! Add PairAt, TokenAt and PlainAt.
tree
|
commitdiff
2018-10-13
Julien Moutinho
fixup! Add PairAt, TokenAt and PlainAt.
tree
|
commitdiff
2018-10-12
Julien Moutinho
Fix TCT dependencies dump.
tree
|
commitdiff
2018-10-12
Julien Moutinho
Add PairAt, TokenAt and PlainAt.
tree
|
commitdiff
2018-10-10
Julien Moutinho
Fix Index.
tree
|
commitdiff
2018-10-10
Julien Moutinho
Fix TCT Reference ID syntax.
tree
|
commitdiff
2018-10-10
Julien Moutinho
Change DTC About.
tree
|
commitdiff
2018-10-07
Julien Moutinho
Fix HTML5 rendering of external references.
tree
|
commitdiff
2018-10-07
Julien Moutinho
Fix order of section judgments.
tree
|
commitdiff
2018-10-04
Julien Moutinho
Use RWS instead of State.
tree
|
commitdiff
2018-06-26
Julien Moutinho
Improve checking.
tree
|
commitdiff
2018-06-22
Julien Moutinho
Renames in XML, to use it qualified.
tree
|
commitdiff
2018-06-22
Julien Moutinho
Add error support in HTML5.
tree
|
commitdiff
2018-06-14
Julien Moutinho
Fix nested notes and prepare for checking.
tree
|
commitdiff
2018-06-13
Julien Moutinho
Prepare for merging DTC mangling operations.
tree
|
commitdiff
2018-06-12
Julien Moutinho
Add Majority Judgment support.
tree
|
commitdiff
2018-05-16
Julien Moutinho
Rename Language -> Hdoc.
tree
|
commitdiff