[isabelle-dev] Isabelle/jEdit output panel

Walther Neuper wneuper at ist.tugraz.at
Thu Oct 11 11:14:13 CEST 2012


On 10/11/2012 08:35 AM, Christian Sternagel wrote:
> A tiny remark: for linux (and I guess also windows) users, it is 
> surprising to have icons on the top-left of a "window", 

... not surprising for all users, e.g. Ubuntu has these icons on the 
top-left as well.

> rather than top-right :D. I'm just saying.




More information about the isabelle-dev mailing list