]>
Git — Sourcephile - doclang.git/log
Julien Moutinho [Sun, 7 Oct 2018 21:55:44 +0000 (23:55 +0200)]
Fix HTML5 rendering of external references.
Julien Moutinho [Sun, 7 Oct 2018 21:55:08 +0000 (23:55 +0200)]
Fix order of section judgments.
Julien Moutinho [Thu, 4 Oct 2018 16:42:43 +0000 (18:42 +0200)]
Use RWS instead of State.
Julien Moutinho [Tue, 26 Jun 2018 12:27:54 +0000 (14:27 +0200)]
Improve checking.
Julien Moutinho [Fri, 22 Jun 2018 20:51:12 +0000 (22:51 +0200)]
Renames in XML, to use it qualified.
Julien Moutinho [Fri, 22 Jun 2018 13:36:53 +0000 (15:36 +0200)]
Add error support in HTML5.
Julien Moutinho [Thu, 14 Jun 2018 02:08:20 +0000 (04:08 +0200)]
Fix nested notes and prepare for checking.
Julien Moutinho [Wed, 13 Jun 2018 00:38:01 +0000 (02:38 +0200)]
Prepare for merging DTC mangling operations.
Julien Moutinho [Tue, 12 Jun 2018 21:48:01 +0000 (23:48 +0200)]
Add Majority Judgment support.
Julien Moutinho [Wed, 23 May 2018 01:44:10 +0000 (03:44 +0200)]
Allow dash '-' in HeaderColon name.
Julien Moutinho [Wed, 16 May 2018 00:54:05 +0000 (02:54 +0200)]
Rename Language -> Hdoc.
Julien Moutinho [Fri, 11 May 2018 17:17:40 +0000 (19:17 +0200)]
Fix HTML5 id.
Julien Moutinho [Fri, 11 May 2018 17:16:55 +0000 (19:16 +0200)]
Fix vim syntax.
Julien Moutinho [Fri, 11 May 2018 17:16:34 +0000 (19:16 +0200)]
Fix CSS titles and pages.
Julien Moutinho [Fri, 11 May 2018 17:14:47 +0000 (19:14 +0200)]
Add <URL> when print-only.
Julien Moutinho [Fri, 11 May 2018 17:07:23 +0000 (19:07 +0200)]
Add PlainSpan.
Julien Moutinho [Sun, 6 May 2018 01:47:23 +0000 (03:47 +0200)]
Fix vim syntax names.
Julien Moutinho [Sun, 6 May 2018 01:46:21 +0000 (03:46 +0200)]
Fix Show instances on newtypes.
Julien Moutinho [Sun, 6 May 2018 01:46:03 +0000 (03:46 +0200)]
Fix XML merging.
Julien Moutinho [Sun, 6 May 2018 01:45:28 +0000 (03:45 +0200)]
Fix HTML5 of <link>.
Julien Moutinho [Sun, 6 May 2018 01:44:28 +0000 (03:44 +0200)]
Fix class= in <section>.
Julien Moutinho [Sun, 6 May 2018 01:43:42 +0000 (03:43 +0200)]
Fix href= in <toc>.
Julien Moutinho [Sun, 6 May 2018 01:42:14 +0000 (03:42 +0200)]
Add BlockBreak.
Julien Moutinho [Wed, 11 Apr 2018 23:17:50 +0000 (01:17 +0200)]
Fix XML rendition of PairFrenchquote.
Julien Moutinho [Wed, 11 Apr 2018 21:15:06 +0000 (23:15 +0200)]
Fix Vim support.
Julien Moutinho [Wed, 11 Apr 2018 21:14:42 +0000 (23:14 +0200)]
Fix HTML5 rendition.
Julien Moutinho [Wed, 11 Apr 2018 21:11:36 +0000 (23:11 +0200)]
Adapt to symantic-cli, removing optparse-applicative.
Julien Moutinho [Fri, 30 Mar 2018 05:18:37 +0000 (07:18 +0200)]
Add dependencies collection.
Julien Moutinho [Fri, 30 Mar 2018 05:16:41 +0000 (07:16 +0200)]
Rename document -> write*.
Julien Moutinho [Fri, 30 Mar 2018 05:06:17 +0000 (07:06 +0200)]
Modify RNC.Write to use Text.Lazy.
Julien Moutinho [Mon, 26 Feb 2018 22:36:15 +0000 (23:36 +0100)]
Use Loqualization.
Julien Moutinho [Sun, 25 Feb 2018 03:14:48 +0000 (04:14 +0100)]
Fix HeaderDotSlash rendering.
Julien Moutinho [Sun, 25 Feb 2018 02:50:12 +0000 (03:50 +0100)]
Add --output option.
Julien Moutinho [Sat, 24 Feb 2018 23:57:06 +0000 (00:57 +0100)]
Add ErrorReadIO.
Julien Moutinho [Sat, 24 Feb 2018 04:58:45 +0000 (05:58 +0100)]
Add better support for HeaderDotSlash including.
Julien Moutinho [Fri, 23 Feb 2018 00:00:18 +0000 (01:00 +0100)]
Add basic support for HeaderDotSlash including.
Julien Moutinho [Tue, 20 Feb 2018 06:14:43 +0000 (07:14 +0100)]
Remove NodeGroup, as it can break parsing based on Seq.spanl.
Julien Moutinho [Mon, 19 Feb 2018 05:06:27 +0000 (06:06 +0100)]
Add headers to About.
Julien Moutinho [Sun, 18 Feb 2018 23:37:12 +0000 (00:37 +0100)]
Remove unused PaddedList.
Julien Moutinho [Sun, 18 Feb 2018 23:35:33 +0000 (00:35 +0100)]
Add style/dtc-html5.css
Julien Moutinho [Sun, 18 Feb 2018 23:35:11 +0000 (00:35 +0100)]
Fix prettyMarkupBuilder.
Julien Moutinho [Sun, 18 Feb 2018 02:40:28 +0000 (03:40 +0100)]
Add HTML5 rendition of Head.
Julien Moutinho [Sat, 17 Feb 2018 21:45:50 +0000 (22:45 +0100)]
Modify HTML5 ParaOL and ParaUL rendering.
Julien Moutinho [Fri, 16 Feb 2018 06:16:46 +0000 (07:16 +0100)]
Add vim support.
Julien Moutinho [Fri, 16 Feb 2018 04:15:02 +0000 (05:15 +0100)]
Fix xmlify NodePair.
Julien Moutinho [Fri, 16 Feb 2018 03:45:47 +0000 (04:45 +0100)]
Sync HTML5 rendition of DTC with new TCT parsing.
Julien Moutinho [Wed, 14 Feb 2018 03:08:16 +0000 (04:08 +0100)]
Fix HTML5 rendering of NodePara.
Julien Moutinho [Tue, 13 Feb 2018 01:48:19 +0000 (02:48 +0100)]
Move Data.Locale and Data.TreeSeq in new packages.
Julien Moutinho [Tue, 13 Feb 2018 00:00:23 +0000 (01:00 +0100)]
Massage Data.TreeSeq.
Julien Moutinho [Mon, 12 Feb 2018 23:15:22 +0000 (00:15 +0100)]
Remove old file.
Julien Moutinho [Mon, 12 Feb 2018 22:46:44 +0000 (23:46 +0100)]
Add golden tests for DTC.
Julien Moutinho [Mon, 12 Feb 2018 22:45:44 +0000 (23:45 +0100)]
Sync DTC with new TCT parsing.
Julien Moutinho [Mon, 12 Feb 2018 22:44:48 +0000 (23:44 +0100)]
Fix TCT -> XML : NodePara.
Julien Moutinho [Sun, 11 Feb 2018 04:42:37 +0000 (05:42 +0100)]
Add golden tests.
Julien Moutinho [Fri, 9 Feb 2018 02:28:55 +0000 (03:28 +0100)]
Fix parsing HeaderSection.
Julien Moutinho [Wed, 7 Feb 2018 03:29:24 +0000 (04:29 +0100)]
Fix writing TCT to XML.
Julien Moutinho [Mon, 5 Feb 2018 22:03:05 +0000 (23:03 +0100)]
Fix HeaderGreat parsing.
Julien Moutinho [Sat, 3 Feb 2018 22:55:02 +0000 (23:55 +0100)]
Fix NodePara parsing.
Julien Moutinho [Fri, 26 Jan 2018 05:10:09 +0000 (06:10 +0100)]
Maintain Plain and HTML5 rendering of TCT.
Julien Moutinho [Wed, 24 Jan 2018 08:37:56 +0000 (09:37 +0100)]
Add NodePara and NodeGroup.
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>.
Julien Moutinho [Wed, 27 Dec 2017 11:11:17 +0000 (12:11 +0100)]
Use Tree for Token.
Julien Moutinho [Tue, 26 Dec 2017 13:47:19 +0000 (14:47 +0100)]
Cosmetic changes.
Julien Moutinho [Mon, 25 Dec 2017 18:08:09 +0000 (19:08 +0100)]
Add <note> DTC support.
Julien Moutinho [Mon, 25 Dec 2017 10:33:10 +0000 (11:33 +0100)]
Add Xmlify.
Julien Moutinho [Mon, 25 Dec 2017 09:24:17 +0000 (10:24 +0100)]
Fix RNC rendering for DTC.
Julien Moutinho [Mon, 25 Dec 2017 08:05:37 +0000 (09:05 +0100)]
Fix Reference.
Julien Moutinho [Sun, 24 Dec 2017 09:27:54 +0000 (10:27 +0100)]
Add Html5ify for TCT.
Julien Moutinho [Sun, 24 Dec 2017 07:33:09 +0000 (08:33 +0100)]
Add Plainify.
Julien Moutinho [Sun, 24 Dec 2017 00:15:23 +0000 (01:15 +0100)]
Add References, --trace and other stuffs.
Julien Moutinho [Fri, 22 Dec 2017 06:56:44 +0000 (07:56 +0100)]
Prepare anchorify for references.
Julien Moutinho [Thu, 21 Dec 2017 04:41:22 +0000 (05:41 +0100)]
Fix ToF ordering.
Julien Moutinho [Thu, 21 Dec 2017 02:52:47 +0000 (03:52 +0100)]
Add HTML5 rendering of ToF.
Julien Moutinho [Wed, 20 Dec 2017 09:25:34 +0000 (10:25 +0100)]
Fix Figure XmlPos.
Julien Moutinho [Wed, 20 Dec 2017 04:36:48 +0000 (05:36 +0100)]
Remove old file.
Julien Moutinho [Wed, 20 Dec 2017 04:35:45 +0000 (05:35 +0100)]
Add indexify of Iref.
Julien Moutinho [Mon, 18 Dec 2017 07:19:44 +0000 (08:19 +0100)]
Use TreeSeq to make DTC.Line.
Julien Moutinho [Sun, 17 Dec 2017 20:42:54 +0000 (21:42 +0100)]
Fix GNUmakefile.
Julien Moutinho [Sun, 17 Dec 2017 20:42:41 +0000 (21:42 +0100)]
Add multi-words indexing.
Julien Moutinho [Fri, 15 Dec 2017 05:39:17 +0000 (06:39 +0100)]
Fix ToC.
Julien Moutinho [Fri, 15 Dec 2017 01:32:51 +0000 (02:32 +0100)]
Add DTC.Index.
Julien Moutinho [Tue, 12 Dec 2017 22:58:24 +0000 (23:58 +0100)]
Rename tct -> hdoc.
Julien Moutinho [Tue, 12 Dec 2017 09:33:29 +0000 (10:33 +0100)]
Add HTML5 rendition of DTC.Index.
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.
Julien Moutinho [Mon, 11 Dec 2017 02:10:47 +0000 (03:10 +0100)]
Automatize localesOf.
Julien Moutinho [Mon, 11 Dec 2017 01:22:06 +0000 (02:22 +0100)]
Study StateMarkup.
Julien Moutinho [Sun, 10 Dec 2017 10:46:29 +0000 (11:46 +0100)]
Use Tree Zipper for rendering DTC ToF in HTML5.
Julien Moutinho [Sat, 9 Dec 2017 04:20:37 +0000 (05:20 +0100)]
Add Data.Locale.
Julien Moutinho [Fri, 8 Dec 2017 01:23:06 +0000 (02:23 +0100)]
Factorize XML utilities.
Julien Moutinho [Thu, 7 Dec 2017 21:51:48 +0000 (22:51 +0100)]
Add DTC HTML5 writing draft.
Julien Moutinho [Sat, 2 Dec 2017 22:43:52 +0000 (23:43 +0100)]
Add DTC HTML5 writing draft.
Julien Moutinho [Thu, 30 Nov 2017 02:46:24 +0000 (03:46 +0100)]
Fix <figure/> and <section/>.
Julien Moutinho [Mon, 27 Nov 2017 15:46:34 +0000 (16:46 +0100)]
Add RNC schema generation.
Julien Moutinho [Sun, 26 Nov 2017 03:47:51 +0000 (04:47 +0100)]
Split TCT -> DTC parsing into TCT -> XML -> DTC.
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.
Julien Moutinho [Mon, 6 Nov 2017 03:33:53 +0000 (04:33 +0100)]
Fix <name> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 12:33:31 +0000 (13:33 +0100)]
Remove unused code.
Julien Moutinho [Sat, 4 Nov 2017 12:31:54 +0000 (13:31 +0100)]
Add KeyBrackets.
Julien Moutinho [Sat, 4 Nov 2017 10:27:39 +0000 (11:27 +0100)]
Fix comments.
Julien Moutinho [Sat, 4 Nov 2017 10:27:06 +0000 (11:27 +0100)]
Fix TCT vim syntax.
sourcephile / git / doclang.git / log