Admin/Linux/Isabelle.run
changeset 57005 33f3d2ea803d
parent 56247 1ad01f98dc3e
child 58792 d6d9bb806bb5
equal deleted inserted replaced
57004:c8288ce9676a 57005:33f3d2ea803d