src/Tools/jEdit/src/Isabelle.props
changeset 44385 e7fdb008aa7d
parent 44238 36120feb70ed
child 44865 679f0d57e831