doc-src/IsarAdvanced/Classes/style.sty
changeset 26154 894f3860ebfd
parent 20946 75b56e51fade
child 26781 861e06a047c5
equal deleted inserted replaced
26153:b037fd9016fa 26154:894f3860ebfd