Re: [isabelle] MathJax

I replaced jsMath with MathJax recently on the the site (a web presentation of IsarMathLib). It looks better and renders much faster than jsMath. MathJax is also simpler to use - there is no need to install anything on the server. Just a couple of lines in the head and of course LaTeX markup on the page.

Slawomir Kolodynski
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)

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