Re: [isabelle] Isabelle2016-1-RC1 processing theories twice
I also noticed this. Additionally, it seems that the IDE gets very
unresponsive if you change stuff in an "early" theory in the dependency
tree. Sometimes it's so bad that I have to restart the entire thing.
On 31/10/16 19:49, Jasmin Blanchette wrote:
> For the record, I have been running into these issues too on my Mac for the past several months. I have also showed them to Makarius during ITP, so it should be on his radar.
>> I have noticed that when Isabelle processes many files, it first run through some of them and then process the same theories again.
>> Steps to reproduce:
>> Run isabelle such that it loads some theories, e.g.:
>> isabelle jedit -l Pure src/HOL/List.thy
>> Wait until all of the theories are processed.
>> Scroll in the buffer List.
This archive was generated by a fusion of
Pipermail (Mailman edition) and