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