[isabelle-dev] NEWS: Improved completion mechanism

Makarius makarius at sketis.net
Fri Sep 6 12:38:01 CEST 2013

On Fri, 6 Sep 2013, Christian Sternagel wrote:

>> For practical use, you can try with the Isabelle/Scala option
>> jedit_completion = false (via Plugin Options / Completion / Completion).
>> This means there won't be any automatic popup or immdediate replacement
>> anymore, just explicit C+b completion.
> Just to be sure, did you mean "Plugins / Plugin Options / Isabelle / General 
> / Completion / Completion"? Furthermore, I still have "Plugins / Plugin 
> Options / Sidekick / General / Code Completion Options" is that okay?

The first one.  You can ignore Sidekick completion -- it is no longer used 
specifically for Isabelle/jEdit -- it might get used by other plugins, 

Technically all these options are managed by Isabelle/Scala, see also the 
"isabelle options" tool.  User preferences are stored in 
$ISABELLE_HOME_USER/etc/preferences.  This is occasionally good to know to 
keep an overview in the jungle of GUI panels.


More information about the isabelle-dev mailing list