lib/jedit/plugin/Isabelle.props
changeset 29998 19e1ef628b25
parent 27997 64957539cdf4