[isabelle] Dockable panels



A trivial suggestion: The State panel should be docked to the bottom and not to the right.
Larry

> On 15 Jan 2016, at 20:27, Makarius <makarius at sketis.net> wrote:
> 
> Dear Isabelle users,
> 
> the coming Isabelle2016 release is scheduled for February 2016. Two weeks after an informal snapshot, we now have a formal release candidate http://isabelle.in.tum.de/website-Isabelle2016-RC1





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