../ LICENSE.txt 30-Jul-2025 19:34 20138 Makefile 30-Jul-2025 19:34 2040 README.md 30-Jul-2025 19:34 1490 hsrstud-classes.dtx 30-Jul-2025 19:34 17926 hsrstud-classes.pdf 30-Jul-2025 19:34 127670 hsrstud.dtx 30-Jul-2025 19:34 14749 hsrstud.ins 30-Jul-2025 19:34 1747 hsrstud.pdf 30-Jul-2025 19:34 143159 oststud.dtx 30-Jul-2025 19:34 23716 oststud.ins 30-Jul-2025 19:34 1629 oststud.pdf 30-Jul-2025 19:34 159801