Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Changing Options in Isabelle2021-1

Email Gateway (Jan 04 2022 at 12:34):

From: 伊藤洋介 <glacier345@gmail.com>
Dear Isabelle users,

I successfully installed Isabelle2021-1, and tried to change Completion
Delay (default 0.5s). However, I couldn't change it through GUI Plugin
Options.
I also tried changing jedit_completion_delay in
/Applications/Isabelle2021-1.app/src/Tools/jEdit/etc/options,
but it didn't seem to be reflected in Isabelle/jEdit.
Is there any way to change such option parameters?
I use macOS Big Sur v.11.6, MacBook Air (Mid 2013).

Regards,

Last updated: Jan 04 2025 at 20:18 UTC