src/Tools/jEdit/src/Isabelle.props
changeset 64854 f5aa712e6250
parent 64367 a424f2737646
child 65329 4f3da52cec02