Re: [isabelle-dev] Diagnostic commands in jedit?

2011-09-30 Thread Florian Haftmann
Things like code generation might be of the form of associating document content that is generated by functional evaluation over the semantics of the formal source text. Think of it as part of browser_info, not the src tree. Part of the question is who or what is the target of generated

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