doc-src/IsarAdvanced/Classes/style.sty
changeset 25866 263aaf988d44
parent 20946 75b56e51fade
child 26781 861e06a047c5