Re: [isabelle-dev] Isabelle_11-Sep-2011
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 http://cl-informatik.uibk.ac.at/~thiemann/emacs.html I believe I know this bug. It's an emacs problem, and should be fixed in emacs 23.4 once it becomes available. That said I don't know of any elisp code other than ProofGeneral that tickles this bug. As far as Isabell/PG are concerned, it's not a new problem -- it also affects Isabelle2011. See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8703 (Note that I encountered this problem with Linux -- I hope that the MacOS version uses the same code, but I have not tested this theory.) Best regards, Bertram ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle_11-Sep-2011
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 http://cl-informatik.uibk.ac.at/~thiemann/emacs.html I believe I know this bug. It's an emacs problem, and should be fixed in emacs 23.4 once it becomes available. That said I don't know of any elisp code other than ProofGeneral that tickles this bug. As far as Isabell/PG are concerned, it's not a new problem -- it also affects Isabelle2011. See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8703 (Note that I encountered this problem with Linux -- I hope that the MacOS version uses the same code, but I have not tested this theory.) What is odd about it: with the same Emacs-23.2.1 on Mac OS X the problem only occurs on Lion, not Snow Leopard (which I have started to re-install today on my desktop system). Since Emacs-23.2.1 has only a *few* such drop-outs on Lion, but Emacs-23.3 has *many*, I have switched back to the older version in the app bundle on http://isabelle.in.tum.de/website-Isabelle2011-1-RC1/ Makarius___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle_11-Sep-2011
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 final MacOS distribution 2011-1. This looks bad. I still do not have Lion desktop access to try it myself. I have now payed the tax for Lion on my desktop. As anticipated, Apple has introduced some new problems, like lack of Java by default. I will try to iron that out a little. I am still in the course of trying to recover from that savage Lion on my machine. So many problems from this bargain of $29.99 or EUR 23.99 ... Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle_11-Sep-2011
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 looks bad. I still do not have Lion desktop access to try it myself. I have now payed the tax for Lion on my desktop. As anticipated, Apple has introduced some new problems, like lack of Java by default. I will try to iron that out a little. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle_11-Sep-2011
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 http://www4.in.tum.de/~wenzelm/test/Isabelle_20-Sep-2011/download.html the Emacs version of the distribution of 11-Sep (Emacs 23.2) works nicely with Mac OS Lion. 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 http://cl-informatik.uibk.ac.at/~thiemann/emacs.html 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 looks bad. I still do not have Lion desktop access to try it myself. It is probably worth filing a report at http://proofgeneral.inf.ed.ac.uk/trac/ Makarius___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Isabelle_11-Sep-2011
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 isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev