The pattern "*.mli" was incorrectly added to texvccheck/.gitignore by
4c9dc2f08e with the comment "Compiled
source". As with d9a7da14f1, .mli files
define the interfaces for the corresponding .ml module and thus should
not be ignored.
The only exception to this is parser.mli which is generated by the
ocamlyacc from the parser.mly definition, so this change only ignores
those files.
Change-Id: I263df70e58fb14a7228c32d5c985ff7f1b841891
Tweak the position of spaces between function invocations and arguments
so that the expansion of mediawiki-specific functions (`\Rho`, etc) is
consistent with how spacing is added to normal function invocations.
This helps ensure that `texvc`/`texvccheck` is idempotent -- that is,
that it can parse what it emits, and render it without change.
Change-Id: I05fc8fa0201debf611ed4900d3cc953a6a8188ac
The \overbrace, \overleftarrow, \overleftrightarrow, \overline,
\overrightarrow, \underbrace, \underline, \widehat, and \widetilde
commands take a single mandatory argument. Move \overbrace and
\underbrace to the fun_ar1nb list, since they handle trailing
subscripts and superscripts specially. Move the other functions to
the fun_ar1 list.
Change-Id: I449c8611eeb2eaa7ccb30d3b325975868a160f95
The \AA and \textvisible space commands aren't valid in math mode.
Surround them with \mbox so that we switch to text mode before
emitting them.
Change-Id: I36c23c80751401be4bbce6aca6c3333912f67add
It is impossible to take the empty alternative for this production,
since any input which matches `litsq_aq` would instead match `lit_aq`
if the empty alternative is used. In addition, there is no action
clause for the empty alternative, so it wouldn't typecheck if the
empty alternative was possible.
This has no effect on the generated parser, but clarifies the grammar
(and makes ports easier!).
Change-Id: I32c85d2c74ab047b4b52401248d5dc7fc3201705
texvc had several tasks in the past:
1 checking the input
2 convert MediaWiki custom syntax to standard LaTeX
3 run LaTeX
4 convert dvi2png
This change provides a simplified version that performs
only steps 1+2. This is required to avoid security problems
with tools like MathJax, especially if these tools are
run at the server-side.
Bug: 54624
Change-Id: I1650e6ec2ccefff6335fbc36bbe8ca8f59db0faa
