Re: [isabelle] Isabelleʼs getsettings somehow broken
On Wed, 10 Feb 2016, Joachim Breitner wrote:
One way out would be to give up on lib/scripts/getsettings doing the
caching and configure everything upon every invocation. This way,
functions would not have to be exported.
That is not caching, but static scoping. The environment is built once,
and propagated to all sub-processes. Doing it dynamically instead, would
mean a signifant change in the semantics -- also a step backwards as a
specification of the desired property.
This archive was generated by a fusion of
Pipermail (Mailman edition) and