[isabelle-dev] Immediate completion does not work anymore

Manuel Eberl eberlm at in.tum.de
Thu Nov 19 15:27:55 CET 2015

As of the following revision, immediate completion does not work anymore 
in Isabelle/JEdit:

changeset:   61600:1ca11ddfcc70
user:        wenzelm
date:        Sat Nov 07 16:05:28 2015 +0100
summary:     clarified completion of explicit symbols (see also 
f6bd97a587b7, e0e4ac981cf1);

 From the diff and the commit summary, I would very much assume that 
this is not an intentional change.

More information about the isabelle-dev mailing list