Re: [isabelle] Dockable panels



On Tue, 19 Jan 2016, Lawrence Paulson wrote:

The obvious reason is that the output of the State panel needs a horizontal window.

What is the format and resolution of your display?


	Makarius





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