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:
This archive was generated by a fusion of
Pipermail (Mailman edition) and