Re: [isabelle] Difficulties with "setsum" (Alfio Martini)

On 28 April 2015 07:18:47 GMT+10:00, Makarius <makarius at> wrote:
>On Mon, 27 Apr 2015, Makarius wrote:
>> ---------- Forwarded message ----------
>> Date: Mon, 27 Apr 2015 17:28:24 -0300
>> From: Alfio Martini <alfio.martini at>
>> To: Makarius <makarius at>
>> Subject: Re: [isabelle] Difficulties with "setsum" (Alfio Martini)
>> I installed a virtual machine with Linux Mint and installed Isabelle
>Linux Mint had a lot of attention initially, but was of rather bad
>the last time I checked it (which is already 1-2 years ago).  For me
>canonical Linux distribution remains Ubuntu (or Xubuntu) despite the
>attempts to ruin the open-source OS world by endless forks.

FWIW one of my machines has run Isabelle on Linux Mint for the last 2 years with no problems. My own experience is that Mint is now more stable and polished than Xubuntu, though Ubuntu still gets the most UI/UX attention, and these things are obviously subjective.

>> My God, the look and feel of Isabelle/jEdit in Linux it is not that
>> pretty (to put it mildly), especially if one is already used to the
>> Windows version.
>That is normal on Linux/X11.  On Windows and Mac OS X, the rendering is
>fine.  I usually use Mac OS X for presentation, and restrict Linux to
>private use at home, when nobody is looking.

This is not really an Isabelle/jEdit issue, but rather that Java (or Java developers?) makes only a token effort at making its applications look/behave like native applications.


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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