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.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.