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 ( ). 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 MHonArc.