Re: [isabelle-dev] Changes to the locale syntax

I have now committed these changes. Clemens On 28 October, 2015 21:53 CET, "Clemens Ballarin" wrote: > I'm planning two moderate changes to the locale syntax: > > * The default of qualifiers in locale expressions will change from optional > ("?") to mandatory ("!") in

Re: [isabelle-dev] Future of permanent_interpretation

Hi Florian, thanks for your feedback. Local theories have done Isabelle and its users a great service in presenting a uniform view of different kinds of declarations in several contexts, and the locales reimplementation would have been much more painful without them. However, if "local

Re: [isabelle-dev] Update of jdk and jedit components

On Wed, 4 Nov 2015, Makarius wrote: This incident means I need to figure out a different way to avoid edits on output-only text areas. See now changeset: 61570:f26a4d5e82b5 user:wenzelm date:Wed Nov 04 17:14:17 2015 +0100 files:

[isabelle-dev] Towards the Isabelle release

The winter is approaching, and we should start thinking about the coming Isabelle release. Looking for constraints and side-conditions, I've found the next scheduled jdk-8 release by Oracle: 20-Jan-2016. Since current jdk-8u66 appears to be somehow "intermediate", I looks worth including

Re: [isabelle-dev] Update of jdk and jedit components

On Wed, 4 Nov 2015, Mathias Fleury wrote: I am a bit surprised that the content of the tooltips and the output panel can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015). Step to reproduce: * open a theory file * type a lemma * select some text of the output panel * type any

Re: [isabelle-dev] Update of jdk and jedit components

Thanks for the information, Mathias > On 4 Nov 2015, at 15:55, Makarius wrote: > > On Wed, 4 Nov 2015, Mathias Fleury wrote: > >> I am a bit surprised that the content of the tooltips and the output panel >> can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015).

Re: [isabelle-dev] Update of jdk and jedit components

Hello Makarius, I am a bit surprised that the content of the tooltips and the output panel can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015). Step to reproduce: * open a theory file * type a lemma * select some text of the output panel * type any letter Result: the