On Tue, 29 Mar 2016, Salomon Sickert wrote:
>> sickert$ bin/isabelle jedit -d "~/Documents/workspace/afp-devel/thys/"
>> -l Automatic_Refinement
> 1:32:14 PM [Session.manager] [error] manager: *** Consumer thread failure: "Session.manager"
> 1:32:14 PM [Session.manager] [error] manager: *** Undefined session: “Automatic_Refinement"
>> The puzzling thing is, that Isabelle finds the session
> “Automatic_Refinement”, builds it and then complains that it doesn’t
> know what is. Any ideas on how to debug and fix this?
We have neither bugs nor fixes in Isabelle development -- these are two
sides of the same coin -- ultimately leading into entropy and decay.
When there is a problem there are two possibilities:
(1) Someone who understands the relevant part of the system knows what
needs to be done. This is the case here, see now c35012b86e6f.
(2) If nobody has concrete ideas, Mercurial allows to make empiric studies
of the history via bisection.
The history is the "proof" for the state of the sources. This is why it is
important to keep the history clean and easy to understand -- after
months, years, decades.
Makarius