Re: [isabelle] New error messages in Isabelle 2013



On Wed, 30 Jan 2013, Lawrence Paulson wrote:

Moreover, the pop-up windows are quite small and will typically need resizing.

Did you try adjusting the various tooltip options in the Plugin Options / Isabelle panel of jEdit? It is basically a menu, were you can see what is there, and look at the tooltips to guess what is the purpose.


	Makarius





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