Re: [isabelle] New error messages in Isabelle 2013



Am 28.01.2013 19:56, schrieb Makarius:
> 
>> I wouldn't put the output panel in the category of being old-style.
>> It's a left, right, or bottom dockable window that's part of a modern,
>> GUI editor. Being able to look at both the edit buffer and the output
>> panel at the same time at least gives it a dual focus ability.
> 
> That is old-school Proof General mode.  When developing complex formal
> documents you need more than dual (or triple) focus, but it does not
> work by putting more windows there.  One needs to make the one main
> window smarter: the source window.

Do I understand this correctly: Eventually, the output panel will
completely be removed and you have to hover the mouse-pointer over
everything to get any information?

- René

-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

Attachment: smime.p7s
Description: S/MIME Kryptografische Unterschrift



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