Re: [isabelle] Dockable panels
I am thinking of my laptop, which I use for most proofs. It is a 15 inch MacBook Pro. The screen is big enough for a substantial main window and a column on the right, perfect for panels such as Documentation, Sidekick, Theories and the ever-useful Timing.
With the latest models, the screen has very high resolution, but one canât read microscopic fonts. Laptops are still widely used, I think.
> On 19 Jan 2016, at 10:47, Makarius <makarius at sketis.net> wrote:
> 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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and