Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - shape.dtx 2024-02-03 12:08 23K oob.dtx 2024-02-03 12:08 11K dice.dtx 2024-02-03 12:08 9.1K table.dtx 2024-02-03 12:08 6.6K misc.dtx 2024-02-03 12:08 3.9K elements.dtx 2024-02-03 12:08 3.5K battle.dtx 2024-02-03 12:08 1.9K core.dtx 2024-02-03 12:08 1.3K stack.dtx 2024-02-03 12:08 1.3K modifiers.dtx 2024-02-03 12:08 1.2K