[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]rgltxdoc.pdf2020-02-19 21:14 161K 
[TXT]rgltxdoc.ins2020-02-19 21:14 1.0K 
[TXT]rgltxdoc.dtx2020-02-19 21:14 29K