]>
Git — Sourcephile - doclang.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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