src/Pure/System/isabelle_system.scala
changeset 66787 64b47495676d
parent 65916 5b8ed310b31d
child 67586 8b19a8a7f029
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d