Re: [isabelle] Isabelle2015-RC3: Spurious "Duplicate rewrite rule" warnings during Sledgehammer invocation.

On Fri, 8 May 2015, bnord wrote:

Another small focus problem which I find confusing: When the Sledgehammer panel isn't in focus you can mouse over a suggested proof and it will be highlighted but when you click on it nothing happens besides switching focus.

This sounds like another episode of the game "funny window managers against Java/AWT". Just the standard questions:

  OS platform?

  Window manager?

  Java/Swing Look-and-feel?


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