Re: [isabelle-dev] Isabelle_11-Sep-2011

2011-09-30 Thread Bertram Felgenhauer
Dear Makarius and René, However, testing Isabelle_20-Sep-2011 with Emacs 23.3, there seems to be a problem for Mac OS Lion users: Many special characters like == \in, = are not displayed correctly which makes working inconvenient. Under

Re: [isabelle-dev] Isabelle_11-Sep-2011

2011-09-30 Thread Makarius
On Fri, 30 Sep 2011, Bertram Felgenhauer wrote: Dear Makarius and René, However, testing Isabelle_20-Sep-2011 with Emacs 23.3, there seems to be a problem for Mac OS Lion users: Many special characters like == \in, = are not displayed correctly which makes working inconvenient. Under

Re: [isabelle-dev] Isabelle_11-Sep-2011

2011-09-28 Thread Makarius
On Tue, 27 Sep 2011, Makarius wrote: On Mon, 26 Sep 2011, Makarius wrote: I put two small screenshots where one can observe the problem. I don't know what the advantages of 23.3 are, but this display problem is a real disadvantage, so one might consider which version should be shipped in

Re: [isabelle-dev] Isabelle_11-Sep-2011

2011-09-27 Thread Makarius
On Mon, 26 Sep 2011, Makarius wrote: I put two small screenshots where one can observe the problem. I don't know what the advantages of 23.3 are, but this display problem is a real disadvantage, so one might consider which version should be shipped in final MacOS distribution 2011-1. This

Re: [isabelle-dev] Isabelle_11-Sep-2011

2011-09-26 Thread Makarius
On Fri, 23 Sep 2011, René Thiemann wrote: Dear Makarius, A preliminary test distribution is now available from http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html A preliminary test distribution is now available from

[isabelle-dev] Isabelle_11-Sep-2011

2011-09-11 Thread Makarius
A preliminary test distribution is now available from http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html So far, this is just a warm-up for the upcoming release. Makarius ___ isabelle-dev mailing list