Name Last modified Size Description Parent Directory - README 13-Jun-2022 00:06 591 textcase.dtx 27-Jul-2023 22:40 16K textcase.ins 30-Jul-2022 20:59 151 textcase.pdf 27-Jul-2023 22:54 226K Apache/2.2 Server at ftp.ntua.gr Port 80
Name Last modified Size Description Parent Directory - README 13-Jun-2022 00:06 591 textcase.dtx 27-Jul-2023 22:40 16K textcase.ins 30-Jul-2022 20:59 151 textcase.pdf 27-Jul-2023 22:54 226K
Name Last modified Size Description![[DIR]](/images/back.gif)
Parent Directory -
![[TXT]](/images/readme.gif)
README 13-Jun-2022 00:06 591
textcase.dtx 27-Jul-2023 22:40 16K
![[ ]](/images/unknown.gif)
textcase.ins 30-Jul-2022 20:59 151
![[ ]](/icons/layout.gif)
textcase.pdf 27-Jul-2023 22:54 226K
