src/Pure/Isar/document_structure.scala
changeset 66787 64b47495676d
parent 64610 1b89608974e9
child 68840 51ab4c78235b
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d