[isabelle] jedit special symbols



Hi all,

I seem to be unable to find out how to enable nice symbols in jedit (in Isabelle2011-1). Where the popups with selection possibilities disabled by default, or is their absence a problem of my installation (maybe java)? I was used to type e.g. "=" followed by ">" and then get a box where I could choose the nice Rightarrow. This no longer happens. Any ideas?

cheers

chris





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