src/Doc/IsarImplementation/document/style.sty
changeset 51750 cb154917a496
parent 48985 5386df44a037
child 53167 4e7ddd76e632