Admin/Linux/Isabelle.run
changeset 63094 056ea294c256
parent 62036 773cb226738c
child 63574 4ea48cbc54c1