[isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails

Makarius makarius at sketis.net
Wed Mar 30 00:01:46 CEST 2016

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.


More information about the isabelle-dev mailing list