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.

> On 19 Jan 2016, at 15:41, Makarius <makarius at> 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.