../ DESCRIPTION 08-Jun-2025 19:34 104 Makefile 08-Jun-2025 19:34 344 base.dtx 08-Jun-2025 19:34 12103 base.ins 08-Jun-2025 19:34 327 standard.dtx 08-Jun-2025 19:34 4525 standard.ins 08-Jun-2025 19:34 117