]> Git — Sourcephile - doclang.git/log
doclang.git
7 years agoRemove old file.
Julien Moutinho [Wed, 20 Dec 2017 04:36:48 +0000 (05:36 +0100)]
Remove old file.

7 years agoAdd indexify of Iref.
Julien Moutinho [Wed, 20 Dec 2017 04:35:45 +0000 (05:35 +0100)]
Add indexify of Iref.

7 years agoUse TreeSeq to make DTC.Line.
Julien Moutinho [Mon, 18 Dec 2017 07:19:44 +0000 (08:19 +0100)]
Use TreeSeq to make DTC.Line.

7 years agoFix GNUmakefile.
Julien Moutinho [Sun, 17 Dec 2017 20:42:54 +0000 (21:42 +0100)]
Fix GNUmakefile.

7 years agoAdd multi-words indexing.
Julien Moutinho [Sun, 17 Dec 2017 20:42:41 +0000 (21:42 +0100)]
Add multi-words indexing.

7 years agoFix ToC.
Julien Moutinho [Fri, 15 Dec 2017 05:39:17 +0000 (06:39 +0100)]
Fix ToC.

7 years agoAdd DTC.Index.
Julien Moutinho [Fri, 15 Dec 2017 01:32:51 +0000 (02:32 +0100)]
Add DTC.Index.

7 years agoRename tct -> hdoc.
Julien Moutinho [Tue, 12 Dec 2017 22:58:24 +0000 (23:58 +0100)]
Rename tct -> hdoc.

7 years agoAdd HTML5 rendition of DTC.Index.
Julien Moutinho [Tue, 12 Dec 2017 09:33:29 +0000 (10:33 +0100)]
Add HTML5 rendition of DTC.Index.

7 years agoAdd more elements in the <head> of the HTML5 rendering of DTC.
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.

7 years agoAutomatize localesOf.
Julien Moutinho [Mon, 11 Dec 2017 02:10:47 +0000 (03:10 +0100)]
Automatize localesOf.

7 years agoStudy StateMarkup.
Julien Moutinho [Mon, 11 Dec 2017 01:22:06 +0000 (02:22 +0100)]
Study StateMarkup.

7 years agoUse Tree Zipper for rendering DTC ToF in HTML5.
Julien Moutinho [Sun, 10 Dec 2017 10:46:29 +0000 (11:46 +0100)]
Use Tree Zipper for rendering DTC ToF in HTML5.

7 years agoAdd Data.Locale.
Julien Moutinho [Sat, 9 Dec 2017 04:20:37 +0000 (05:20 +0100)]
Add Data.Locale.

7 years agoFactorize XML utilities.
Julien Moutinho [Fri, 8 Dec 2017 01:23:06 +0000 (02:23 +0100)]
Factorize XML utilities.

7 years agoAdd DTC HTML5 writing draft.
Julien Moutinho [Thu, 7 Dec 2017 21:51:48 +0000 (22:51 +0100)]
Add DTC HTML5 writing draft.

7 years agoAdd DTC HTML5 writing draft.
Julien Moutinho [Sat, 2 Dec 2017 22:43:52 +0000 (23:43 +0100)]
Add DTC HTML5 writing draft.

7 years agoFix <figure/> and <section/>.
Julien Moutinho [Thu, 30 Nov 2017 02:46:24 +0000 (03:46 +0100)]
Fix <figure/> and <section/>.

7 years agoAdd RNC schema generation.
Julien Moutinho [Mon, 27 Nov 2017 15:46:34 +0000 (16:46 +0100)]
Add RNC schema generation.

7 years agoSplit TCT -> DTC parsing into TCT -> XML -> DTC.
Julien Moutinho [Sun, 26 Nov 2017 03:47:51 +0000 (04:47 +0100)]
Split TCT -> DTC parsing into TCT -> XML -> DTC.

7 years agoRemove channel State in DTC writing.
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.

7 years agoFix <name> DTC writing.
Julien Moutinho [Mon, 6 Nov 2017 03:33:53 +0000 (04:33 +0100)]
Fix <name> DTC writing.

7 years agoRemove unused code.
Julien Moutinho [Sat, 4 Nov 2017 12:33:31 +0000 (13:33 +0100)]
Remove unused code.

7 years agoAdd KeyBrackets.
Julien Moutinho [Sat, 4 Nov 2017 12:31:54 +0000 (13:31 +0100)]
Add KeyBrackets.

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