<ol>
$tit Intelligent translations of mathematical expressions $titend
between the following formats: <ul>
<li>raw math expression, recognizable by most mathematical softwares.
</li><li>error-tolerant raw math expression: 2x will be understood as
2*x, etc.
<br/>(Implementation started since version 0.11.2)
</li><li>html-formatted math, to display a math expression as correctly
as possible using html capabilities.
<br/>(Implementation started since version 0.11.6)
</li><li>Math-ML language.
</li><li>TeX-source, which can be either displayed formatted via instex,
or sent as-is (so the user may incorporate it into
his TeX documents).
</li><li>LyX-source? LyX formatted math is not as beautiful as TeX, but
is much faster. We need a utility to process LyX sources,
outputing the result to a gif
file.
</li></ul>
</li>
$tit More mathematical functionalities built into wims server:$titend
complex numbers, multi-variable functions, numerical substitution of
variables in mathematical expressions, etc.
</li>
$tit Interface to more software packages. (Including a proof-verification
</li>
$tit Colored math fonts and TeX formulas. $titend
To allow people to make pages with various (or dynamic)
foreground/background color settings, with math fonts and TeX formulas
following these settings.
</li>$tit Incorporation of remote (and non-wims) URL's into wims system.$titend
</li>$tit Utilities to allow people to develop wims applications from their
remote sites.$titend
</li>$tit A more complete wims language: while loop, case, etc.$titend
</li>
</ol>