src/Tools/jEdit/src/isabelle_options.scala
changeset 64854 f5aa712e6250
parent 62973 744266e32612
child 65139 0a2c0712e432