]> Git — Sourcephile - doclang.git/log
doclang.git
6 years agoRenames in XML, to use it qualified.
Julien Moutinho [Fri, 22 Jun 2018 20:51:12 +0000 (22:51 +0200)]
Renames in XML, to use it qualified.

6 years agoAdd error support in HTML5.
Julien Moutinho [Fri, 22 Jun 2018 13:36:53 +0000 (15:36 +0200)]
Add error support in HTML5.

6 years agoFix nested notes and prepare for checking.
Julien Moutinho [Thu, 14 Jun 2018 02:08:20 +0000 (04:08 +0200)]
Fix nested notes and prepare for checking.

6 years agoPrepare for merging DTC mangling operations.
Julien Moutinho [Wed, 13 Jun 2018 00:38:01 +0000 (02:38 +0200)]
Prepare for merging DTC mangling operations.

6 years agoAdd Majority Judgment support.
Julien Moutinho [Tue, 12 Jun 2018 21:48:01 +0000 (23:48 +0200)]
Add Majority Judgment support.

6 years agoAllow dash '-' in HeaderColon name.
Julien Moutinho [Wed, 23 May 2018 01:44:10 +0000 (03:44 +0200)]
Allow dash '-' in HeaderColon name.

6 years agoRename Language -> Hdoc.
Julien Moutinho [Wed, 16 May 2018 00:54:05 +0000 (02:54 +0200)]
Rename Language -> Hdoc.

6 years agoFix HTML5 id.
Julien Moutinho [Fri, 11 May 2018 17:17:40 +0000 (19:17 +0200)]
Fix HTML5 id.

6 years agoFix vim syntax.
Julien Moutinho [Fri, 11 May 2018 17:16:55 +0000 (19:16 +0200)]
Fix vim syntax.

6 years agoFix CSS titles and pages.
Julien Moutinho [Fri, 11 May 2018 17:16:34 +0000 (19:16 +0200)]
Fix CSS titles and pages.

6 years agoAdd <URL> when print-only.
Julien Moutinho [Fri, 11 May 2018 17:14:47 +0000 (19:14 +0200)]
Add <URL> when print-only.

6 years agoAdd PlainSpan.
Julien Moutinho [Fri, 11 May 2018 17:07:23 +0000 (19:07 +0200)]
Add PlainSpan.

6 years agoFix vim syntax names.
Julien Moutinho [Sun, 6 May 2018 01:47:23 +0000 (03:47 +0200)]
Fix vim syntax names.

6 years agoFix Show instances on newtypes.
Julien Moutinho [Sun, 6 May 2018 01:46:21 +0000 (03:46 +0200)]
Fix Show instances on newtypes.

6 years agoFix XML merging.
Julien Moutinho [Sun, 6 May 2018 01:46:03 +0000 (03:46 +0200)]
Fix XML merging.

6 years agoFix HTML5 of <link>.
Julien Moutinho [Sun, 6 May 2018 01:45:28 +0000 (03:45 +0200)]
Fix HTML5 of <link>.

6 years agoFix class= in <section>.
Julien Moutinho [Sun, 6 May 2018 01:44:28 +0000 (03:44 +0200)]
Fix class= in <section>.

6 years agoFix href= in <toc>.
Julien Moutinho [Sun, 6 May 2018 01:43:42 +0000 (03:43 +0200)]
Fix href= in <toc>.

6 years agoAdd BlockBreak.
Julien Moutinho [Sun, 6 May 2018 01:42:14 +0000 (03:42 +0200)]
Add BlockBreak.

6 years agoFix XML rendition of PairFrenchquote.
Julien Moutinho [Wed, 11 Apr 2018 23:17:50 +0000 (01:17 +0200)]
Fix XML rendition of PairFrenchquote.

6 years agoFix Vim support.
Julien Moutinho [Wed, 11 Apr 2018 21:15:06 +0000 (23:15 +0200)]
Fix Vim support.

6 years agoFix HTML5 rendition.
Julien Moutinho [Wed, 11 Apr 2018 21:14:42 +0000 (23:14 +0200)]
Fix HTML5 rendition.

6 years agoAdapt to symantic-cli, removing optparse-applicative.
Julien Moutinho [Wed, 11 Apr 2018 21:11:36 +0000 (23:11 +0200)]
Adapt to symantic-cli, removing optparse-applicative.

6 years agoAdd dependencies collection.
Julien Moutinho [Fri, 30 Mar 2018 05:18:37 +0000 (07:18 +0200)]
Add dependencies collection.

6 years agoRename document -> write*.
Julien Moutinho [Fri, 30 Mar 2018 05:16:41 +0000 (07:16 +0200)]
Rename document -> write*.

6 years agoModify RNC.Write to use Text.Lazy.
Julien Moutinho [Fri, 30 Mar 2018 05:06:17 +0000 (07:06 +0200)]
Modify RNC.Write to use Text.Lazy.

6 years agoUse Loqualization.
Julien Moutinho [Mon, 26 Feb 2018 22:36:15 +0000 (23:36 +0100)]
Use Loqualization.

6 years agoFix HeaderDotSlash rendering.
Julien Moutinho [Sun, 25 Feb 2018 03:14:48 +0000 (04:14 +0100)]
Fix HeaderDotSlash rendering.

6 years agoAdd --output option.
Julien Moutinho [Sun, 25 Feb 2018 02:50:12 +0000 (03:50 +0100)]
Add --output option.

6 years agoAdd ErrorReadIO.
Julien Moutinho [Sat, 24 Feb 2018 23:57:06 +0000 (00:57 +0100)]
Add ErrorReadIO.

6 years agoAdd better support for HeaderDotSlash including.
Julien Moutinho [Sat, 24 Feb 2018 04:58:45 +0000 (05:58 +0100)]
Add better support for HeaderDotSlash including.

6 years agoAdd basic support for HeaderDotSlash including.
Julien Moutinho [Fri, 23 Feb 2018 00:00:18 +0000 (01:00 +0100)]
Add basic support for HeaderDotSlash including.

6 years agoRemove NodeGroup, as it can break parsing based on Seq.spanl.
Julien Moutinho [Tue, 20 Feb 2018 06:14:43 +0000 (07:14 +0100)]
Remove NodeGroup, as it can break parsing based on Seq.spanl.

6 years agoAdd headers to About.
Julien Moutinho [Mon, 19 Feb 2018 05:06:27 +0000 (06:06 +0100)]
Add headers to About.

6 years agoRemove unused PaddedList.
Julien Moutinho [Sun, 18 Feb 2018 23:37:12 +0000 (00:37 +0100)]
Remove unused PaddedList.

6 years agoAdd style/dtc-html5.css
Julien Moutinho [Sun, 18 Feb 2018 23:35:33 +0000 (00:35 +0100)]
Add style/dtc-html5.css

6 years agoFix prettyMarkupBuilder.
Julien Moutinho [Sun, 18 Feb 2018 23:35:11 +0000 (00:35 +0100)]
Fix prettyMarkupBuilder.

6 years agoAdd HTML5 rendition of Head.
Julien Moutinho [Sun, 18 Feb 2018 02:40:28 +0000 (03:40 +0100)]
Add HTML5 rendition of Head.

6 years agoModify HTML5 ParaOL and ParaUL rendering.
Julien Moutinho [Sat, 17 Feb 2018 21:45:50 +0000 (22:45 +0100)]
Modify HTML5 ParaOL and ParaUL rendering.

6 years agoAdd vim support.
Julien Moutinho [Fri, 16 Feb 2018 06:16:46 +0000 (07:16 +0100)]
Add vim support.

6 years agoFix xmlify NodePair.
Julien Moutinho [Fri, 16 Feb 2018 04:15:02 +0000 (05:15 +0100)]
Fix xmlify NodePair.

6 years agoSync HTML5 rendition of DTC with new TCT parsing.
Julien Moutinho [Fri, 16 Feb 2018 03:45:47 +0000 (04:45 +0100)]
Sync HTML5 rendition of DTC with new TCT parsing.

6 years agoFix HTML5 rendering of NodePara.
Julien Moutinho [Wed, 14 Feb 2018 03:08:16 +0000 (04:08 +0100)]
Fix HTML5 rendering of NodePara.

6 years agoMove Data.Locale and Data.TreeSeq in new packages.
Julien Moutinho [Tue, 13 Feb 2018 01:48:19 +0000 (02:48 +0100)]
Move Data.Locale and Data.TreeSeq in new packages.

6 years agoMassage Data.TreeSeq.
Julien Moutinho [Tue, 13 Feb 2018 00:00:23 +0000 (01:00 +0100)]
Massage Data.TreeSeq.

6 years agoRemove old file.
Julien Moutinho [Mon, 12 Feb 2018 23:15:22 +0000 (00:15 +0100)]
Remove old file.

6 years agoAdd golden tests for DTC.
Julien Moutinho [Mon, 12 Feb 2018 22:46:44 +0000 (23:46 +0100)]
Add golden tests for DTC.

6 years agoSync DTC with new TCT parsing.
Julien Moutinho [Mon, 12 Feb 2018 22:45:44 +0000 (23:45 +0100)]
Sync DTC with new TCT parsing.

6 years agoFix TCT -> XML : NodePara.
Julien Moutinho [Mon, 12 Feb 2018 22:44:48 +0000 (23:44 +0100)]
Fix TCT -> XML : NodePara.

6 years agoAdd golden tests.
Julien Moutinho [Sun, 11 Feb 2018 04:42:37 +0000 (05:42 +0100)]
Add golden tests.

6 years agoFix parsing HeaderSection.
Julien Moutinho [Fri, 9 Feb 2018 02:28:55 +0000 (03:28 +0100)]
Fix parsing HeaderSection.

6 years agoFix writing TCT to XML.
Julien Moutinho [Wed, 7 Feb 2018 03:29:24 +0000 (04:29 +0100)]
Fix writing TCT to XML.

6 years agoFix HeaderGreat parsing.
Julien Moutinho [Mon, 5 Feb 2018 22:03:05 +0000 (23:03 +0100)]
Fix HeaderGreat parsing.

6 years agoFix NodePara parsing.
Julien Moutinho [Sat, 3 Feb 2018 22:55:02 +0000 (23:55 +0100)]
Fix NodePara parsing.

6 years agoMaintain Plain and HTML5 rendering of TCT.
Julien Moutinho [Fri, 26 Jan 2018 05:10:09 +0000 (06:10 +0100)]
Maintain Plain and HTML5 rendering of TCT.

6 years agoAdd NodePara and NodeGroup.
Julien Moutinho [Wed, 24 Jan 2018 08:37:56 +0000 (09:37 +0100)]
Add NodePara and NodeGroup.

6 years agoWIP add paragraph recognition, enabling footnote with note: instead of only <note>.
Julien Moutinho [Thu, 4 Jan 2018 14:17:32 +0000 (15:17 +0100)]
WIP add paragraph recognition, enabling footnote with note: instead of only <note>.

6 years agoUse Tree for Token.
Julien Moutinho [Wed, 27 Dec 2017 11:11:17 +0000 (12:11 +0100)]
Use Tree for Token.

6 years agoCosmetic changes.
Julien Moutinho [Tue, 26 Dec 2017 13:47:19 +0000 (14:47 +0100)]
Cosmetic changes.

6 years agoAdd <note> DTC support.
Julien Moutinho [Mon, 25 Dec 2017 18:08:09 +0000 (19:08 +0100)]
Add <note> DTC support.

6 years agoAdd Xmlify.
Julien Moutinho [Mon, 25 Dec 2017 10:33:10 +0000 (11:33 +0100)]
Add Xmlify.

6 years agoFix RNC rendering for DTC.
Julien Moutinho [Mon, 25 Dec 2017 09:24:17 +0000 (10:24 +0100)]
Fix RNC rendering for DTC.

6 years agoFix Reference.
Julien Moutinho [Mon, 25 Dec 2017 08:05:37 +0000 (09:05 +0100)]
Fix Reference.

6 years agoAdd Html5ify for TCT.
Julien Moutinho [Sun, 24 Dec 2017 09:27:54 +0000 (10:27 +0100)]
Add Html5ify for TCT.

6 years agoAdd Plainify.
Julien Moutinho [Sun, 24 Dec 2017 07:33:09 +0000 (08:33 +0100)]
Add Plainify.

6 years agoAdd References, --trace and other stuffs.
Julien Moutinho [Sun, 24 Dec 2017 00:15:23 +0000 (01:15 +0100)]
Add References, --trace and other stuffs.

6 years agoPrepare anchorify for references.
Julien Moutinho [Fri, 22 Dec 2017 06:56:44 +0000 (07:56 +0100)]
Prepare anchorify for references.

6 years agoFix ToF ordering.
Julien Moutinho [Thu, 21 Dec 2017 04:41:22 +0000 (05:41 +0100)]
Fix ToF ordering.

6 years agoAdd HTML5 rendering of ToF.
Julien Moutinho [Thu, 21 Dec 2017 02:52:47 +0000 (03:52 +0100)]
Add HTML5 rendering of ToF.

6 years agoFix Figure XmlPos.
Julien Moutinho [Wed, 20 Dec 2017 09:25:34 +0000 (10:25 +0100)]
Fix Figure XmlPos.

6 years agoRemove old file.
Julien Moutinho [Wed, 20 Dec 2017 04:36:48 +0000 (05:36 +0100)]
Remove old file.

6 years agoAdd indexify of Iref.
Julien Moutinho [Wed, 20 Dec 2017 04:35:45 +0000 (05:35 +0100)]
Add indexify of Iref.

6 years agoUse TreeSeq to make DTC.Line.
Julien Moutinho [Mon, 18 Dec 2017 07:19:44 +0000 (08:19 +0100)]
Use TreeSeq to make DTC.Line.

6 years agoFix GNUmakefile.
Julien Moutinho [Sun, 17 Dec 2017 20:42:54 +0000 (21:42 +0100)]
Fix GNUmakefile.

6 years agoAdd multi-words indexing.
Julien Moutinho [Sun, 17 Dec 2017 20:42:41 +0000 (21:42 +0100)]
Add multi-words indexing.

6 years agoFix ToC.
Julien Moutinho [Fri, 15 Dec 2017 05:39:17 +0000 (06:39 +0100)]
Fix ToC.

6 years agoAdd DTC.Index.
Julien Moutinho [Fri, 15 Dec 2017 01:32:51 +0000 (02:32 +0100)]
Add DTC.Index.

6 years agoRename tct -> hdoc.
Julien Moutinho [Tue, 12 Dec 2017 22:58:24 +0000 (23:58 +0100)]
Rename tct -> hdoc.

6 years agoAdd HTML5 rendition of DTC.Index.
Julien Moutinho [Tue, 12 Dec 2017 09:33:29 +0000 (10:33 +0100)]
Add HTML5 rendition of DTC.Index.

6 years agoAdd more elements in the <head> of the HTML5 rendering of DTC.
Julien Moutinho [Mon, 11 Dec 2017 05:27:55 +0000 (06:27 +0100)]
Add more elements in the <head> of the HTML5 rendering of DTC.

6 years agoAutomatize localesOf.
Julien Moutinho [Mon, 11 Dec 2017 02:10:47 +0000 (03:10 +0100)]
Automatize localesOf.

6 years agoStudy StateMarkup.
Julien Moutinho [Mon, 11 Dec 2017 01:22:06 +0000 (02:22 +0100)]
Study StateMarkup.

6 years agoUse Tree Zipper for rendering DTC ToF in HTML5.
Julien Moutinho [Sun, 10 Dec 2017 10:46:29 +0000 (11:46 +0100)]
Use Tree Zipper for rendering DTC ToF in HTML5.

6 years agoAdd Data.Locale.
Julien Moutinho [Sat, 9 Dec 2017 04:20:37 +0000 (05:20 +0100)]
Add Data.Locale.

6 years agoFactorize XML utilities.
Julien Moutinho [Fri, 8 Dec 2017 01:23:06 +0000 (02:23 +0100)]
Factorize XML utilities.

6 years agoAdd DTC HTML5 writing draft.
Julien Moutinho [Thu, 7 Dec 2017 21:51:48 +0000 (22:51 +0100)]
Add DTC HTML5 writing draft.

6 years agoAdd DTC HTML5 writing draft.
Julien Moutinho [Sat, 2 Dec 2017 22:43:52 +0000 (23:43 +0100)]
Add DTC HTML5 writing draft.

6 years agoFix <figure/> and <section/>.
Julien Moutinho [Thu, 30 Nov 2017 02:46:24 +0000 (03:46 +0100)]
Fix <figure/> and <section/>.

6 years agoAdd RNC schema generation.
Julien Moutinho [Mon, 27 Nov 2017 15:46:34 +0000 (16:46 +0100)]
Add RNC schema generation.

6 years agoSplit TCT -> DTC parsing into TCT -> XML -> DTC.
Julien Moutinho [Sun, 26 Nov 2017 03:47:51 +0000 (04:47 +0100)]
Split TCT -> DTC parsing into TCT -> XML -> DTC.

6 years agoRemove channel State in DTC writing.
Julien Moutinho [Mon, 6 Nov 2017 21:49:45 +0000 (22:49 +0100)]
Remove channel State in DTC writing.

If needed later: creating a new Monad embedding a State should be simpler.

6 years agoFix <name> DTC writing.
Julien Moutinho [Mon, 6 Nov 2017 03:33:53 +0000 (04:33 +0100)]
Fix <name> DTC writing.

6 years agoRemove unused code.
Julien Moutinho [Sat, 4 Nov 2017 12:33:31 +0000 (13:33 +0100)]
Remove unused code.

6 years agoAdd KeyBrackets.
Julien Moutinho [Sat, 4 Nov 2017 12:31:54 +0000 (13:31 +0100)]
Add KeyBrackets.

6 years agoFix comments.
Julien Moutinho [Sat, 4 Nov 2017 10:27:39 +0000 (11:27 +0100)]
Fix comments.

6 years agoFix TCT vim syntax.
Julien Moutinho [Sat, 4 Nov 2017 10:27:06 +0000 (11:27 +0100)]
Fix TCT vim syntax.

6 years agoFix dash CSS in HTML5 Source.
Julien Moutinho [Sat, 4 Nov 2017 10:26:29 +0000 (11:26 +0100)]
Fix dash CSS in HTML5 Source.

6 years agoAdd GNUmakefile profiling targets.
Julien Moutinho [Sat, 4 Nov 2017 10:23:53 +0000 (11:23 +0100)]
Add GNUmakefile profiling targets.

6 years agoAdd DTC Blaze combinators.
Julien Moutinho [Sat, 4 Nov 2017 10:21:50 +0000 (11:21 +0100)]
Add DTC Blaze combinators.

6 years agoAdd <ref> and <rref> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:17:48 +0000 (11:17 +0100)]
Add <ref> and <rref> DTC writing.