Isabelle2018.options
changeset 59462 a3edc91cfe1f
parent 59451 71b442e82416