We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Milestone for the upcoming Isabelle/Eclipse release: tuning of released version and aiming at further Isabelle/jEdit parity.