Stream: Beginner Questions

Topic: Recommended interface

view this post on Zulip Mario Xerxes Castelán Castro (Dec 04 2025 at 00:47):

Is jEdit still the recommended way to interact with Isabelle?

view this post on Zulip Balazs Toth (Dec 04 2025 at 00:54):

Yes, it's definitely the most supported way.

view this post on Zulip Mario Xerxes Castelán Castro (Dec 04 2025 at 01:37):

I see.

Last updated: Jan 17 2026 at 20:25 UTC