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.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
