diekmann at in.tum.de
Wed Sep 11 18:18:14 CEST 2013
I just found an issue with the theories panel. The width is chosen by
the longest theory name, no horizontal scrollbar is added. When there
is an error at the end of my theory files with a long name, I do not
get visual feedback about it. In fact, I didn't realize this the whole
morning. In addition, Isabelle continues to use the pending (possibly
wrong) lemmas. I would love to get some feedback about my broken
2013/9/11 Makarius <makarius at sketis.net>:
> On Wed, 11 Sep 2013, C. Diekmann wrote:
>> when I select something in jedit with the mouse, it gets green and I
>> cannot deselect it.
> This sounds like "Multiple Selection" mode of jEdit. Maybe you have just
> activated it by accident. See also the menu "Edit / More Selection".
More information about the isabelle-dev