diff options
author | Philipp Gesang <pgesang@ix.urz.uni-heidelberg.de> | 2011-09-01 12:32:32 +0200 |
---|---|---|
committer | Philipp Gesang <pgesang@ix.urz.uni-heidelberg.de> | 2011-09-01 12:32:32 +0200 |
commit | a1a1b9708e24e5fbbf15b71869c9b3e14fb785fc (patch) | |
tree | aebef539682cce3bf2b3d6617fa71b9761e10619 /mod | |
parent | af7a485837571257c667fcdee37a5ec54d141b22 (diff) | |
download | context-rst-a1a1b9708e24e5fbbf15b71869c9b3e14fb785fc.tar.gz |
single character interpreted text
Diffstat (limited to 'mod')
-rw-r--r-- | mod/tex/context/third/rst/rst_context.lua | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/mod/tex/context/third/rst/rst_context.lua b/mod/tex/context/third/rst/rst_context.lua index adc2c64..6a5aa05 100644 --- a/mod/tex/context/third/rst/rst_context.lua +++ b/mod/tex/context/third/rst/rst_context.lua @@ -551,11 +551,12 @@ local inline_parser = P{ * V"double_bareia" / rst_context.literal, + interpreted_single_char = (1 - V"spacing" - V"eol" - V"bareia") * #V"bareia", + interpreted_multi_char = (1 - V"spacing" - V"eol" - V"bareia") * (1 - (1 * V"bareia"))^0 * (1 - V"spacing" - V"eol" - V"bareia"), + interpreted_text = C(V"role_marker"^-1) * (V"bareia" - V"double_bareia") - * C ((1 - V"spacing" - V"eol" - V"bareia") - * ((1 - (1 * V"bareia"))^0 - * (1 - V"spacing" - V"eol" - V"bareia"))^-1) + * C(V"interpreted_single_char" + V"interpreted_multi_char") * V"bareia" * C(V"role_marker"^-1) / rst_context.interpreted_text, |