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.

Manuel


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.
> 
> Jasmin
> 
>> 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 MHonArc.