diff options
| author | aarne <aarne@chalmers.se> | 2014-10-19 17:43:39 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-10-19 17:43:39 +0000 |
| commit | 84bce336fd2acc5b18e0e8792a82b682dacaab37 (patch) | |
| tree | 886d9b097839f9186afd9aa56fee837b840aa0c4 /src/compiler | |
| parent | 6c2e0d5ce28e4ed1ff35d7795b80988142190524 (diff) | |
(un)lexmixed: added the other math environments than $ used in latex
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index e67de95cf..348a942d8 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -1367,13 +1367,13 @@ stringOpOptions = sort $ [ ("from_utf8","decode from utf8 (default)"), ("lextext","text-like lexer"), ("lexcode","code-like lexer"), - ("lexmixed","mixture of text and code (code between $...$)"), + ("lexmixed","mixture of text and code, as in LaTeX (code between $...$, \\(...)\\, \\[...\\])"), ("to_cp1251","encode to cp1251 (Cyrillic used in Bulgarian resource)"), ("to_html","wrap in a html file with linebreaks"), ("to_utf8","encode to utf8 (default)"), ("unlextext","text-like unlexer"), ("unlexcode","code-like unlexer"), - ("unlexmixed","mixture of text and code (code between $...$)"), + ("unlexmixed","mixture of text and code (code between $...$, \\(...)\\, \\[...\\])"), ("unchars","unlexer that puts no spaces between tokens"), ("unwords","unlexer that puts a single space between tokens (default)"), ("words","lexer that assumes tokens separated by spaces (default)") |