Re: [isabelle] Isabelle2016-1-RC1 processing theories twice

On 08/11/16 12:26, Makarius wrote:
> The change above is from August 2015. There are more changes where
> jedit_auto_resolve fluctuates back and forth, without clear conclusion:
> see occurrences of "auto" in
> It is a genuine "feature": something added on the spot, without being
> properly thought out. I had it on my list over some months in 2015, but
> did not revisit it.
> I will make one round of looking carefully how it behaves at the moment,
> and then see if it is put into proper shape for the release, or removed
> outright.

This turned out rather unspectacular. It is just a feature that was not
fully finished in 2015.

See now


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