sourcephile
/
git
/
doclang.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
doclang.git
2020-03-14
Julien Moutinho
Polish code
commit
|
commitdiff
|
tree
|
snapshot
2020-03-14
Julien Moutinho
Bump to stack lts-15.3 (and megaparsec 8)
commit
|
commitdiff
|
tree
|
snapshot
2020-03-14
Julien Moutinho
Fix style paths
commit
|
commitdiff
|
tree
|
snapshot
2020-03-05
Julien Moutinho
cli: rewrite using new symantic-cli
commit
|
commitdiff
|
tree
|
snapshot
2020-03-05
Julien Moutinho
Rename {hdoc => textphile}
commit
|
commitdiff
|
tree
|
snapshot
2020-02-27
Julien Moutinho
Rename {Language.Symantic => Symantic}
commit
|
commitdiff
|
tree
|
snapshot
2019-02-15
Julien Moutinho
Update to megaparsec-7 and new symantic-xml
commit
|
commitdiff
|
tree
|
snapshot
2019-01-11
Julien Moutinho
DTC: add <page-ref> draft
commit
|
commitdiff
|
tree
|
snapshot
2018-12-25
Julien Moutinho
XML: use symantic-xml
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
TCT: fix comment
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
stack: fix locations
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
css: tag color
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
vim: polish code
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
DTC: better handling of errors in judgments
commit
|
commitdiff
|
tree
|
snapshot
2018-12-18
Julien Moutinho
make: fix ghcid target
commit
|
commitdiff
|
tree
|
snapshot
2018-10-26
Julien Moutinho
Move <judgment/> into <about/>.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-13
Julien Moutinho
fixup! Add PairAt, TokenAt and PlainAt.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-13
Julien Moutinho
fixup! Add PairAt, TokenAt and PlainAt.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-12
Julien Moutinho
Fix TCT dependencies dump.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-12
Julien Moutinho
Add PairAt, TokenAt and PlainAt.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-10
Julien Moutinho
Fix Index.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-10
Julien Moutinho
Fix TCT Reference ID syntax.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-10
Julien Moutinho
Change DTC About.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-07
Julien Moutinho
Fix HTML5 rendering of external references.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-07
Julien Moutinho
Fix order of section judgments.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-04
Julien Moutinho
Use RWS instead of State.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-26
Julien Moutinho
Improve checking.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-22
Julien Moutinho
Renames in XML, to use it qualified.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-22
Julien Moutinho
Add error support in HTML5.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-14
Julien Moutinho
Fix nested notes and prepare for checking.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-13
Julien Moutinho
Prepare for merging DTC mangling operations.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-12
Julien Moutinho
Add Majority Judgment support.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-23
Julien Moutinho
Allow dash '-' in HeaderColon name.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Julien Moutinho
Rename Language -> Hdoc.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-11
Julien Moutinho
Fix HTML5 id.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-11
Julien Moutinho
Fix vim syntax.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-11
Julien Moutinho
Fix CSS titles and pages.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-11
Julien Moutinho
Add <URL> when print-only.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-11
Julien Moutinho
Add PlainSpan.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix vim syntax names.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix Show instances on newtypes.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix XML merging.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix HTML5 of <link>.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix class= in <section>.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Fix href= in <toc>.
commit
|
commitdiff
|
tree
|
snapshot
2018-05-06
Julien Moutinho
Add BlockBreak.
commit
|
commitdiff
|
tree
|
snapshot
2018-04-11
Julien Moutinho
Fix XML rendition of PairFrenchquote.
commit
|
commitdiff
|
tree
|
snapshot
2018-04-11
Julien Moutinho
Fix Vim support.
commit
|
commitdiff
|
tree
|
snapshot
2018-04-11
Julien Moutinho
Fix HTML5 rendition.
commit
|
commitdiff
|
tree
|
snapshot
2018-04-11
Julien Moutinho
Adapt to symantic-cli, removing optparse-applicative.
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Julien Moutinho
Add dependencies collection.
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Julien Moutinho
Rename document -> write*.
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Julien Moutinho
Modify RNC.Write to use Text.Lazy.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-27
Julien Moutinho
Use Loqualization.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-25
Julien Moutinho
Fix HeaderDotSlash rendering.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-25
Julien Moutinho
Add --output option.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-24
Julien Moutinho
Add ErrorReadIO.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-24
Julien Moutinho
Add better support for HeaderDotSlash including.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-23
Julien Moutinho
Add basic support for HeaderDotSlash including.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-20
Julien Moutinho
Remove NodeGroup, as it can break parsing based on...
commit
|
commitdiff
|
tree
|
snapshot
2018-02-19
Julien Moutinho
Add headers to About.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-18
Julien Moutinho
Remove unused PaddedList.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-18
Julien Moutinho
Add style/dtc-html5.css
commit
|
commitdiff
|
tree
|
snapshot
2018-02-18
Julien Moutinho
Fix prettyMarkupBuilder.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-18
Julien Moutinho
Add HTML5 rendition of Head.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-17
Julien Moutinho
Modify HTML5 ParaOL and ParaUL rendering.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-16
Julien Moutinho
Add vim support.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-16
Julien Moutinho
Fix xmlify NodePair.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-16
Julien Moutinho
Sync HTML5 rendition of DTC with new TCT parsing.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-14
Julien Moutinho
Fix HTML5 rendering of NodePara.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-13
Julien Moutinho
Move Data.Locale and Data.TreeSeq in new packages.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-13
Julien Moutinho
Massage Data.TreeSeq.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-13
Julien Moutinho
Remove old file.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-13
Julien Moutinho
Add golden tests for DTC.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-12
Julien Moutinho
Sync DTC with new TCT parsing.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-12
Julien Moutinho
Fix TCT -> XML : NodePara.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-11
Julien Moutinho
Add golden tests.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-09
Julien Moutinho
Fix parsing HeaderSection.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-07
Julien Moutinho
Fix writing TCT to XML.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-06
Julien Moutinho
Fix HeaderGreat parsing.
commit
|
commitdiff
|
tree
|
snapshot
2018-02-04
Julien Moutinho
Fix NodePara parsing.
commit
|
commitdiff
|
tree
|
snapshot
2018-01-27
Julien Moutinho
Maintain Plain and HTML5 rendering of TCT.
commit
|
commitdiff
|
tree
|
snapshot
2018-01-24
Julien Moutinho
Add NodePara and NodeGroup.
commit
|
commitdiff
|
tree
|
snapshot
2018-01-04
Julien Moutinho
WIP add paragraph recognition, enabling footnote with...
commit
|
commitdiff
|
tree
|
snapshot
2017-12-27
Julien Moutinho
Use Tree for Token.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-26
Julien Moutinho
Cosmetic changes.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-25
Julien Moutinho
Add <note> DTC support.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-25
Julien Moutinho
Add Xmlify.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-25
Julien Moutinho
Fix RNC rendering for DTC.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-25
Julien Moutinho
Fix Reference.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-24
Julien Moutinho
Add Html5ify for TCT.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-24
Julien Moutinho
Add Plainify.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-24
Julien Moutinho
Add References, --trace and other stuffs.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-22
Julien Moutinho
Prepare anchorify for references.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-21
Julien Moutinho
Fix ToF ordering.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-21
Julien Moutinho
Add HTML5 rendering of ToF.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-20
Julien Moutinho
Fix Figure XmlPos.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-20
Julien Moutinho
Remove old file.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-20
Julien Moutinho
Add indexify of Iref.
commit
|
commitdiff
|
tree
|
snapshot
2017-12-19
Julien Moutinho
Use TreeSeq to make DTC.Line.
commit
|
commitdiff
|
tree
|
snapshot
next