Re: [isabelle] MathJax
I replaced jsMath with MathJax recently on the the isarmathlib.org 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.
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
This archive was generated by a fusion of
Pipermail (Mailman edition) and