To download this project, use:
bzr branch
http://golem.ph.utexas.edu/~distler/code/itexToMML/
- Committer: Jacques Distler
- Date: 2010-04-19 03:08:28 UTC
- Revision ID: distler@golem.ph.utexas.edu-20100419030828-1kzpvcr5u003erqr
itex2MML 1.3.22: New License
Now triple-licensed: GPL/MPL/LGPL.
Also, some new symbols:
\ast, \Cap, \Cup, \circledast,
\circledcirc, \curlyvee, \curlywedge,
\divideontimes, \dotplus, \leftthreetimes,
\rightthreetimes, \veebar, \barwedge,
\doublebarwedge, \blacktriangleleft,
\blacktriangleright, \ntriangleleft,
\ntriangleright, \ntrianglelefteq,
\ntrianglerighteq, \trianglelefteq,
\trianglerighteq, \triangleq,
\vartriangleleft, \vartriangleright,
\boxdot, \intercal, \smallfrown,
\smallsmile, \ominus, \oslash
Now triple-licensed: GPL/MPL/LGPL.
Also, some new symbols:
\ast, \Cap, \Cup, \circledast,
\circledcirc, \curlyvee, \curlywedge,
\divideontimes, \dotplus, \leftthreetimes,
\rightthreetimes, \veebar, \barwedge,
\doublebarwedge, \blacktriangleleft,
\blacktriangleright, \ntriangleleft,
\ntriangleright, \ntrianglelefteq,
\ntrianglerighteq, \trianglelefteq,
\trianglerighteq, \triangleq,
\vartriangleleft, \vartriangleright,
\boxdot, \intercal, \smallfrown,
\smallsmile, \ominus, \oslash
| Filename | Latest Rev | Last Changed | Size | ||
|---|---|---|---|---|---|
 ..
|
|||||
itex2MML.cc |
27 | 2007-11-21 05:30:36 UTC | 3.6 KB |
|
|
|
itex2MML.h |
46 | 2010-04-19 03:08:28 UTC | 1.9 KB |
|
|
|
itex2MML.i |
1 | 2007-01-11 07:17:18 UTC | 281 bytes |
|
|
|
itex2MML.l |
46 | 2010-04-19 03:08:28 UTC | 26.4 KB |
|
|
|
itex2MML.y |
45 | 2010-04-05 05:37:24 UTC | 47.1 KB |
|
|
|
itextomml.rb |
44 | 2010-02-20 20:18:52 UTC | 6.1 KB |
|
|
|
Makefile |
44 | 2010-02-20 20:18:52 UTC | 2.7 KB |
|
|