toyvo / texmi
- Source
- Commits
- Network (1)
- Issues (0)
- Downloads (0)
- Wiki (1)
- Graphs
-
Branch:
master
a shell filter for embedding tex math in html, based on texvc
Anton Tayanovskyy (author)
Sat Jul 04 10:08:30 -0700 2009
texmi /
| name | age | message | |
|---|---|---|---|
 |
.make-wizard | Loading commit data...  |
|
| |
COPYING | ||
| |
META | ||
| |
Makefile | ||
| |
Makefile.local | ||
| |
README.markdown | ||
| |
html.ml | ||
| |
html.mli | ||
| |
lexer.mll | ||
| |
main.ml | ||
| |
mathml.ml | ||
| |
mathml.mli | ||
| |
parser.mli | ||
| |
parser.mly | ||
| |
render.ml | ||
| |
render_info.mli | ||
| |
tex.mli | ||
| |
texmi.ml | ||
| |
texutil.ml | ||
| |
texutil.mli | ||
| |
texvc.ml | ||
| |
texvc_cgi.ml | ||
| |
texvc_test.ml | ||
| |
texvc_tex.ml | ||
| |
util.ml | ||
| |
xml.ml |
README.markdown
texmi
TeX math inliner is an adaptation of texvc (TeX validator and
converter) as a shell filter. The idea is to take some XHTML on the
input with math formulas encoded as <EQ>\frac{1}{2}</EQ> and replace
these formulas with texvc output (either as img tags with inline PNG
base64 data, or as HTML).
As an added benefit, texmi inlines <img> tags when it finds them on
the local machine.
Synopsis
cat input.xml | texmi
texmi input.xml
texmi input.xml /tmp/texmi
Building
Requirements:
- Objective CAML
- pxp
- extlib
- LaTeX
On Ubuntu:
# apt-get install ocaml libpxp-ocaml-dev \
libextlib-ocaml-dev mediawiki-math
To build the texmi native executable, run make.
Copying
texmi is made available under the GPL terms (see COPYING).
This is a derivative work containing the modified code of the texvc
(TeX Validator and Converter) tool distributed with Mediawiki. From
the original README:
The MediaWiki software was written by:
* Lee Daniel Crocker
* Magnus Manske
* Jan Hidders
* Brion Vibber
* Axel Boldt
* Geoffrey T. Dairiki
* Tomasz Wegrzanowski
* Erik Moeller
* Tim Starling
* Gabriel Wicke
* Ashar Voultoiz
* Evan Prodromou
* Ævar Arnfjörð Bjarmason
* Niklas Laxström
* Domas Mituzas
* Rob Church
* Jens Frank
* Several others
The contributors hold the copyright to this work, and it is
licensed under the terms of the GNU General Public License,
version 2 or later[1] (see
http://www.fsf.org/licenses/gpl.html). Derivative works and later
versions of the code must be free software licensed under the same
terms. This includes "extensions" that use MediaWiki functions or
variables; see
http://www.gnu.org/licenses/gpl-faq.html#GPLAndPlugins for
details.
The Wikimedia Foundation currently has no legal rights to the
software.
