[isabelle] MathJax



Hi,

There is some new technology to integrate math (formulas) into
webpages:

  http://www.mathjax.org/

It requires only HTML/CSS/Javascript on the client-side and thus runs
in all modern browsers without fancy plugins.

This may be a technology to build upon when setting up an
Internet-based interface to Isabelle.

Cheers,
Sascha





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.