src/Doc/isar.sty
changeset 67198 694f29a5433b
parent 61671 20d4cd2ceab2