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.

Slawomir Kolodynski

http://savannah.nongnu.org/projects/isarmathlib
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)





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