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.
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
This archive was generated by a fusion of
Pipermail (Mailman edition) and