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
> https://isabelle.in.tum.de/repos/isabelle/log/857acb970dfa/src/Tools/jEdit/etc/options
> 
> 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
https://bitbucket.org/isabelle_project/isabelle-release/commits/812c22e556b9


	Makarius





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