On Thu, 5 Mar 2015, Christian Sternagel wrote:
Just for the record. I think I experienced something similar:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2015-January/005864.html
Thanks for the reminder. I will try to pick up this old thread soon for
the coming
Just for the record. I think I experienced something similar:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2015-January/005864.html
cheers
chris
On 03/05/2015 11:39 AM, Johannes Hölzl wrote:
In rev 304ee0a475d1 I fixed a problem that only appears when one loads