]>
Git — Sourcephile - doclang.git/log
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