[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]standalone.pdf2022-10-10 15:02 274K 
[TXT]standalone.dtx2022-10-10 15:02 182K 
[   ]standalone.ins2022-10-10 15:02 442  
[TXT]DEPENDS.txt2022-10-10 15:02 134