Re: [isabelle] Isabelle2016-1-RC1 processing theories twice
- To: Mathias Fleury <mathias.fleury12 at gmail.com>, Isabelle User <isabelle-users at cl.cam.ac.uk>
- Subject: Re: [isabelle] Isabelle2016-1-RC1 processing theories twice
- From: Makarius <makarius at sketis.net>
- Date: Tue, 1 Nov 2016 22:32:50 +0100
- In-reply-to: <E301DA01-BCC0-4446-845C-6AA37A9DA695@gmail.com>
- References: <alpine.LNX.email@example.com> <firstname.lastname@example.org> <E301DA01-BCC0-4446-845C-6AA37A9DA695@gmail.com>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0
On 31/10/16 18:37, Mathias Fleury wrote:
> 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.
> Isabelle/jEdit first starts processing List and then restarts processing the buffers from the beginning.
> Instead of waiting that all theories are processed, one can also do some random clicking in the List buffer.
I still cannot reproduce it -- I've seen it last summer on the machine
of Jasmin once, but never anywhere else.
Is that really a fresh Isabelle2016-1-RC1 without any special options or
> The described reprocessing of the files is done only once. It appears on both macOS (running Sierra) and Linux (archlinux, so another unsupported OSâ).
Arch Linux is just untested, but not unsupported. The reason for that is
due to the nature of it being individually configured in every respect.
It means anything could go wrong, but Arch users are the master of their
system and can make it work.
In practice, I have never heard of a specific Arch Linux problem with
Isabelle, although I occasionally see users of that platform.
> Is there anyway to give more informations?
Any particular jEdit plugins and preferences. In particular, what is the
If it is reliably reproducible for you, you can also make a bisection on
the repository to see where the problem is located in the history.
This archive was generated by a fusion of
Pipermail (Mailman edition) and