Commit Graph

4 Commits

Author SHA1 Message Date
C. Scott Ananian 0c3f9d69fe Bug fix for `\varcoppa` in texvccheck
A backslash was missing from the translation of `\varcoppa`.

Change-Id: Ic987f1a67ac73395d7ee16e7f8bcd38a6bad6e11
2014-07-23 16:06:48 +00:00
C. Scott Ananian a25078ff9d Remove unused empty production for `litsq_zq` in texvccheck
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
2014-07-23 16:06:13 +00:00
C. Scott Ananian b7069ade90 Fix comment in texvccheck.ml
Change-Id: I8fae697e073d3807896223dba880a2058732e778
2014-07-23 15:55:32 +00:00
Physikerwelt 4c9dc2f08e Breakdown of texvc
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
2013-12-14 18:34:15 +00:00