]>
Git — Sourcephile - doclang.git/log
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.
Julien Moutinho [Sat, 4 Nov 2017 10:26:29 +0000 (11:26 +0100)]
Fix dash CSS in HTML5 Source.
Julien Moutinho [Sat, 4 Nov 2017 10:23:53 +0000 (11:23 +0100)]
Add GNUmakefile profiling targets.
Julien Moutinho [Sat, 4 Nov 2017 10:21:50 +0000 (11:21 +0100)]
Add DTC Blaze combinators.
Julien Moutinho [Sat, 4 Nov 2017 10:17:48 +0000 (11:17 +0100)]
Add <ref> and <rref> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:17:17 +0000 (11:17 +0100)]
Fix <q> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:16:42 +0000 (11:16 +0100)]
Add <figure> DTC writing.
Julien Moutinho [Fri, 3 Nov 2017 19:05:38 +0000 (20:05 +0100)]
Simplify Token parsing.
Julien Moutinho [Mon, 30 Oct 2017 02:27:23 +0000 (03:27 +0100)]
Add KeyDashDash for comments.
Julien Moutinho [Sat, 28 Oct 2017 12:00:07 +0000 (14:00 +0200)]
Remove some Cell from Tree.
Julien Moutinho [Fri, 27 Oct 2017 17:34:28 +0000 (19:34 +0200)]
Revert "Use Text.Lazy to speedup Token parsing."
This reverts commit
dbff6a5bb60923c702ca80f844fffc73996c9d30.
Julien Moutinho [Thu, 26 Oct 2017 23:01:02 +0000 (01:01 +0200)]
Use Text.Lazy to speedup Token parsing.
Julien Moutinho [Thu, 26 Oct 2017 21:20:02 +0000 (23:20 +0200)]
Add KeyDot.
Julien Moutinho [Thu, 26 Oct 2017 21:15:31 +0000 (23:15 +0200)]
Fix LexemeLink parsing.
Julien Moutinho [Thu, 26 Oct 2017 21:13:52 +0000 (23:13 +0200)]
Add data strictness.
Julien Moutinho [Wed, 25 Oct 2017 16:14:24 +0000 (18:14 +0200)]
Fix Elem Attr Value.
Julien Moutinho [Wed, 25 Oct 2017 14:05:00 +0000 (16:05 +0200)]
Add key-value CSS class.
Julien Moutinho [Wed, 25 Oct 2017 03:21:13 +0000 (05:21 +0200)]
Fix <a> indentation.
Julien Moutinho [Wed, 25 Oct 2017 03:20:35 +0000 (05:20 +0200)]
Fix <para> insertion.
Julien Moutinho [Wed, 25 Oct 2017 03:19:09 +0000 (05:19 +0200)]
Add <li> and KeyDash merging.
Julien Moutinho [Wed, 25 Oct 2017 03:18:12 +0000 (05:18 +0200)]
Fix <about> <name> insertion.
Julien Moutinho [Wed, 25 Oct 2017 03:17:25 +0000 (05:17 +0200)]
Add IsList Tokens instance.
Julien Moutinho [Wed, 25 Oct 2017 03:16:50 +0000 (05:16 +0200)]
Fix Elem parsing in Tree parsing.
Julien Moutinho [Wed, 25 Oct 2017 03:16:05 +0000 (05:16 +0200)]
Remove useless parser backtracking.
Julien Moutinho [Wed, 25 Oct 2017 03:15:35 +0000 (05:15 +0200)]
Fix closePair wrt. </elem>.
Julien Moutinho [Tue, 24 Oct 2017 21:57:56 +0000 (23:57 +0200)]
Add DTC writing: <ul>.
Julien Moutinho [Mon, 23 Oct 2017 22:14:18 +0000 (00:14 +0200)]
Polish code.
Julien Moutinho [Mon, 23 Oct 2017 16:13:38 +0000 (18:13 +0200)]
Fix DTC writing.
Julien Moutinho [Mon, 23 Oct 2017 16:13:21 +0000 (18:13 +0200)]
Fix Token reading.
Julien Moutinho [Mon, 23 Oct 2017 14:22:41 +0000 (16:22 +0200)]
Fix Token reading.
Julien Moutinho [Sun, 22 Oct 2017 09:14:12 +0000 (11:14 +0200)]
Split Token/Tokens types.
Julien Moutinho [Sun, 22 Oct 2017 07:40:42 +0000 (09:40 +0200)]
Fix DTC attributes writing.
Julien Moutinho [Sat, 21 Oct 2017 21:10:06 +0000 (23:10 +0200)]
Improve DTC writing.
Julien Moutinho [Fri, 20 Oct 2017 21:47:44 +0000 (23:47 +0200)]
Move to Language.TCT.Write.
Julien Moutinho [Fri, 20 Oct 2017 21:26:06 +0000 (23:26 +0200)]
Improve DTC writing.
Julien Moutinho [Fri, 20 Oct 2017 14:42:50 +0000 (16:42 +0200)]
Add DTC attribute writing.
Julien Moutinho [Fri, 20 Oct 2017 10:39:11 +0000 (12:39 +0200)]
Fix vim syntax.
Julien Moutinho [Fri, 20 Oct 2017 10:38:44 +0000 (12:38 +0200)]
Polish code.
Julien Moutinho [Fri, 20 Oct 2017 10:37:33 +0000 (12:37 +0200)]
Add plain Text rendering (fixup).
Julien Moutinho [Fri, 20 Oct 2017 10:35:15 +0000 (12:35 +0200)]
Rename Group -> Pair.
Julien Moutinho [Fri, 20 Oct 2017 10:11:59 +0000 (12:11 +0200)]
Add plain Text rendering.
Julien Moutinho [Wed, 18 Oct 2017 14:31:53 +0000 (16:31 +0200)]
Fix Group parsing.
Julien Moutinho [Wed, 18 Oct 2017 02:49:35 +0000 (04:49 +0200)]
Add basic DTC writing.
Julien Moutinho [Sat, 14 Oct 2017 10:34:41 +0000 (12:34 +0200)]
Fix Group parsing.
Julien Moutinho [Fri, 13 Oct 2017 02:11:52 +0000 (04:11 +0200)]
Stick to Applicative when Monad is not needed.
Julien Moutinho [Fri, 13 Oct 2017 02:08:22 +0000 (04:08 +0200)]
Fix Tree Elem parsing.
Julien Moutinho [Fri, 13 Oct 2017 01:34:33 +0000 (03:34 +0200)]
Add style/tct-html5-source.css
Julien Moutinho [Fri, 13 Oct 2017 01:34:28 +0000 (03:34 +0200)]
Fix TokenTag parsing.
Julien Moutinho [Wed, 11 Oct 2017 03:38:05 +0000 (05:38 +0200)]
Add development files.
Julien Moutinho [Wed, 11 Oct 2017 03:36:39 +0000 (05:36 +0200)]
Fix Token parsing.
sourcephile / git / doclang.git / log