doc-src/IsarAdvanced/Classes/style.sty
changeset 29733 f38ccabb2edc
parent 29104 a5ac0bc68e2b
equal deleted inserted replaced
29732:0a643dd9e0f5 29733:f38ccabb2edc