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



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.