Re: [isabelle] Dockable panels



I donât mind, as I almost never use it. I use the red underlines to examine error messages. But personally I have it on the bottom as well.
Larry

> On 19 Jan 2016, at 15:41, Makarius <makarius at sketis.net> wrote:
> 
> In this proposal, what is the canonical place for the Output dockable?





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