]>
Git — Sourcephile - doclang.git/log
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.
Julien Moutinho [Wed, 11 Oct 2017 00:44:43 +0000 (02:44 +0200)]
Recognize paragraphs.
Julien Moutinho [Tue, 10 Oct 2017 17:40:29 +0000 (19:40 +0200)]
Add Cell Text parsing.
Julien Moutinho [Thu, 7 Sep 2017 20:09:25 +0000 (22:09 +0200)]
Use a custom Tree.
Julien Moutinho [Thu, 7 Sep 2017 07:59:06 +0000 (09:59 +0200)]
wip
Julien Moutinho [Tue, 29 Aug 2017 23:20:21 +0000 (01:20 +0200)]
init