Re: [isabelle] MathJax
Yes, this look extremely impressive!
On 01.07.2011, at 15:12, Gerwin Klein wrote:
> On 01/07/2011, at 2:42 PM, Sascha Boehme wrote:
>> There is some new technology to integrate math (formulas) into
>> in all modern browsers without fancy plugins.
> They look pretty good! The first solution I've seen that isn't somehow hugely clunky.
This archive was generated by a fusion of
Pipermail (Mailman edition) and