Stream: Beginner Questions

Topic: Changing Options in Isabelle2021-1

view this post on Zulip Yosuke Ito (Dec 29 2021 at 12:01):

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/, 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).

view this post on Zulip Notification Bot (Jan 04 2022 at 12:15):

Yosuke Ito has marked this topic as unresolved.

Last updated: Jul 15 2022 at 23:21 UTC