]> Git — Sourcephile - doclang.git/log
doclang.git
7 years agoFix comments.
Julien Moutinho [Sat, 4 Nov 2017 10:27:39 +0000 (11:27 +0100)]
Fix comments.

7 years agoFix TCT vim syntax.
Julien Moutinho [Sat, 4 Nov 2017 10:27:06 +0000 (11:27 +0100)]
Fix TCT vim syntax.

7 years agoFix dash CSS in HTML5 Source.
Julien Moutinho [Sat, 4 Nov 2017 10:26:29 +0000 (11:26 +0100)]
Fix dash CSS in HTML5 Source.

7 years agoAdd GNUmakefile profiling targets.
Julien Moutinho [Sat, 4 Nov 2017 10:23:53 +0000 (11:23 +0100)]
Add GNUmakefile profiling targets.

7 years agoAdd DTC Blaze combinators.
Julien Moutinho [Sat, 4 Nov 2017 10:21:50 +0000 (11:21 +0100)]
Add DTC Blaze combinators.

7 years agoAdd <ref> and <rref> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:17:48 +0000 (11:17 +0100)]
Add <ref> and <rref> DTC writing.

7 years agoFix <q> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:17:17 +0000 (11:17 +0100)]
Fix <q> DTC writing.

7 years agoAdd <figure> DTC writing.
Julien Moutinho [Sat, 4 Nov 2017 10:16:42 +0000 (11:16 +0100)]
Add <figure> DTC writing.

7 years agoSimplify Token parsing.
Julien Moutinho [Fri, 3 Nov 2017 19:05:38 +0000 (20:05 +0100)]
Simplify Token parsing.

7 years agoAdd KeyDashDash for comments.
Julien Moutinho [Mon, 30 Oct 2017 02:27:23 +0000 (03:27 +0100)]
Add KeyDashDash for comments.

7 years agoRemove some Cell from Tree.
Julien Moutinho [Sat, 28 Oct 2017 12:00:07 +0000 (14:00 +0200)]
Remove some Cell from Tree.

7 years agoRevert "Use Text.Lazy to speedup Token parsing."
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.

7 years agoUse Text.Lazy to speedup Token parsing.
Julien Moutinho [Thu, 26 Oct 2017 23:01:02 +0000 (01:01 +0200)]
Use Text.Lazy to speedup Token parsing.

7 years agoAdd KeyDot.
Julien Moutinho [Thu, 26 Oct 2017 21:20:02 +0000 (23:20 +0200)]
Add KeyDot.

7 years agoFix LexemeLink parsing.
Julien Moutinho [Thu, 26 Oct 2017 21:15:31 +0000 (23:15 +0200)]
Fix LexemeLink parsing.

7 years agoAdd data strictness.
Julien Moutinho [Thu, 26 Oct 2017 21:13:52 +0000 (23:13 +0200)]
Add data strictness.

7 years agoFix Elem Attr Value.
Julien Moutinho [Wed, 25 Oct 2017 16:14:24 +0000 (18:14 +0200)]
Fix Elem Attr Value.

7 years agoAdd key-value CSS class.
Julien Moutinho [Wed, 25 Oct 2017 14:05:00 +0000 (16:05 +0200)]
Add key-value CSS class.

7 years agoFix <a> indentation.
Julien Moutinho [Wed, 25 Oct 2017 03:21:13 +0000 (05:21 +0200)]
Fix <a> indentation.

7 years agoFix <para> insertion.
Julien Moutinho [Wed, 25 Oct 2017 03:20:35 +0000 (05:20 +0200)]
Fix <para> insertion.

7 years agoAdd <li> and KeyDash merging.
Julien Moutinho [Wed, 25 Oct 2017 03:19:09 +0000 (05:19 +0200)]
Add <li> and KeyDash merging.

7 years agoFix <about> <name> insertion.
Julien Moutinho [Wed, 25 Oct 2017 03:18:12 +0000 (05:18 +0200)]
Fix <about> <name> insertion.

7 years agoAdd IsList Tokens instance.
Julien Moutinho [Wed, 25 Oct 2017 03:17:25 +0000 (05:17 +0200)]
Add IsList Tokens instance.

7 years agoFix Elem parsing in Tree parsing.
Julien Moutinho [Wed, 25 Oct 2017 03:16:50 +0000 (05:16 +0200)]
Fix Elem parsing in Tree parsing.

7 years agoRemove useless parser backtracking.
Julien Moutinho [Wed, 25 Oct 2017 03:16:05 +0000 (05:16 +0200)]
Remove useless parser backtracking.

7 years agoFix closePair wrt. </elem>.
Julien Moutinho [Wed, 25 Oct 2017 03:15:35 +0000 (05:15 +0200)]
Fix closePair wrt. </elem>.

7 years agoAdd DTC writing: <ul>.
Julien Moutinho [Tue, 24 Oct 2017 21:57:56 +0000 (23:57 +0200)]
Add DTC writing: <ul>.

7 years agoPolish code.
Julien Moutinho [Mon, 23 Oct 2017 22:14:18 +0000 (00:14 +0200)]
Polish code.

7 years agoFix DTC writing.
Julien Moutinho [Mon, 23 Oct 2017 16:13:38 +0000 (18:13 +0200)]
Fix DTC writing.

7 years agoFix Token reading.
Julien Moutinho [Mon, 23 Oct 2017 16:13:21 +0000 (18:13 +0200)]
Fix Token reading.

7 years agoFix Token reading.
Julien Moutinho [Mon, 23 Oct 2017 14:22:41 +0000 (16:22 +0200)]
Fix Token reading.

7 years agoSplit Token/Tokens types.
Julien Moutinho [Sun, 22 Oct 2017 09:14:12 +0000 (11:14 +0200)]
Split Token/Tokens types.

7 years agoFix DTC attributes writing.
Julien Moutinho [Sun, 22 Oct 2017 07:40:42 +0000 (09:40 +0200)]
Fix DTC attributes writing.

7 years agoImprove DTC writing.
Julien Moutinho [Sat, 21 Oct 2017 21:10:06 +0000 (23:10 +0200)]
Improve DTC writing.

7 years agoMove to Language.TCT.Write.
Julien Moutinho [Fri, 20 Oct 2017 21:47:44 +0000 (23:47 +0200)]
Move to Language.TCT.Write.

7 years agoImprove DTC writing.
Julien Moutinho [Fri, 20 Oct 2017 21:26:06 +0000 (23:26 +0200)]
Improve DTC writing.

7 years agoAdd DTC attribute writing.
Julien Moutinho [Fri, 20 Oct 2017 14:42:50 +0000 (16:42 +0200)]
Add DTC attribute writing.

7 years agoFix vim syntax.
Julien Moutinho [Fri, 20 Oct 2017 10:39:11 +0000 (12:39 +0200)]
Fix vim syntax.

7 years agoPolish code.
Julien Moutinho [Fri, 20 Oct 2017 10:38:44 +0000 (12:38 +0200)]
Polish code.

7 years agoAdd plain Text rendering (fixup).
Julien Moutinho [Fri, 20 Oct 2017 10:37:33 +0000 (12:37 +0200)]
Add plain Text rendering (fixup).

7 years agoRename Group -> Pair.
Julien Moutinho [Fri, 20 Oct 2017 10:35:15 +0000 (12:35 +0200)]
Rename Group -> Pair.

7 years agoAdd plain Text rendering.
Julien Moutinho [Fri, 20 Oct 2017 10:11:59 +0000 (12:11 +0200)]
Add plain Text rendering.

7 years agoFix Group parsing.
Julien Moutinho [Wed, 18 Oct 2017 14:31:53 +0000 (16:31 +0200)]
Fix Group parsing.

7 years agoAdd basic DTC writing.
Julien Moutinho [Wed, 18 Oct 2017 02:49:35 +0000 (04:49 +0200)]
Add basic DTC writing.

7 years agoFix Group parsing.
Julien Moutinho [Sat, 14 Oct 2017 10:34:41 +0000 (12:34 +0200)]
Fix Group parsing.

7 years agoStick to Applicative when Monad is not needed.
Julien Moutinho [Fri, 13 Oct 2017 02:11:52 +0000 (04:11 +0200)]
Stick to Applicative when Monad is not needed.

7 years agoFix Tree Elem parsing.
Julien Moutinho [Fri, 13 Oct 2017 02:08:22 +0000 (04:08 +0200)]
Fix Tree Elem parsing.

7 years agoAdd style/tct-html5-source.css
Julien Moutinho [Fri, 13 Oct 2017 01:34:33 +0000 (03:34 +0200)]
Add style/tct-html5-source.css

7 years agoFix TokenTag parsing.
Julien Moutinho [Fri, 13 Oct 2017 01:34:28 +0000 (03:34 +0200)]
Fix TokenTag parsing.

7 years agoAdd development files.
Julien Moutinho [Wed, 11 Oct 2017 03:38:05 +0000 (05:38 +0200)]
Add development files.

7 years agoFix Token parsing.
Julien Moutinho [Wed, 11 Oct 2017 03:36:39 +0000 (05:36 +0200)]
Fix Token parsing.

7 years agoRecognize paragraphs.
Julien Moutinho [Wed, 11 Oct 2017 00:44:43 +0000 (02:44 +0200)]
Recognize paragraphs.

7 years agoAdd Cell Text parsing.
Julien Moutinho [Tue, 10 Oct 2017 17:40:29 +0000 (19:40 +0200)]
Add Cell Text parsing.

7 years agoUse a custom Tree.
Julien Moutinho [Thu, 7 Sep 2017 20:09:25 +0000 (22:09 +0200)]
Use a custom Tree.

7 years agowip
Julien Moutinho [Thu, 7 Sep 2017 07:59:06 +0000 (09:59 +0200)]
wip

7 years agoinit
Julien Moutinho [Tue, 29 Aug 2017 23:20:21 +0000 (01:20 +0200)]
init