Lars just informed me that I didn't actually include an example in my
mail (I thought I did); it was therefore probably not clear what I meant
exactly, so let me explain:
When I write "\ci" in a theory, it used to be completed to ∘
immediately. As of 1ca11ddfcc70, this does not happen
On Thu, 19 Nov 2015, Manuel Eberl wrote:
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