Re: [isabelle] xemacs



--- On Sat, 1/10/09, Makarius wrote:

> If you know about more advanced input tools for mathematics
> for the Swing 
> platform, I would be interested to hear about it.  

You can consider JMathTeX ( http://jmathtex.sourceforge.net/index.html ). It is a GPL licensed library that can be used to display mathematics in Swing components. 


Slawekk

Formalmath.org
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)




      





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