On Fri, 30 Oct 2015, Makarius wrote:
I don't mind to change that, and thus make it more uniform. It is
mainly a matter of the empirical situation found in the visible universe
of Isabelle examples + AFP if it is feasible / desirable.
To conclude this thread, here are more changes to push it
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
On Wed, 28 Oct 2015, 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 the context of "locale" and
"sublocale". This brings these commands in line with
(continuing »Future of permanent_interpretation«)
> * The default of qualifiers in locale expressions will change from
optional ("?") to mandatory ("!") in the context of "locale" and
"sublocale". This brings these commands in line with "interpretation"
and "interpret". In larger developments
I'm planning two moderate changes to the locale syntax:
* The default of qualifiers in locale expressions will change from optional
("?") to mandatory ("!") in the context of "locale" and "sublocale". This
brings these commands in line with "interpretation" and "interpret". In larger