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.
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
