lib/jedit/plugin/Isabelle.props
changeset 27094 2cf13a72e170
parent 25851 606850a6fc1a
child 27985 fb774d10ea4c