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