Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
README.txt 2022-01-27 12:11 1.5K
![[ ]](/icons/layout.gif){kind=icon}
datenumber-english.pdf 2022-01-27 11:56 192K
![[ ]](/icons/tex.gif){kind=icon}
datenumber-english.tex 2022-01-27 12:06 8.9K
datenumber-german.pdf 2022-01-27 12:02 196K
datenumber-german.tex 2022-01-27 12:06 9.6K
![[ ]](/icons/unknown.gif){kind=icon}
datenumber.dtx 2022-01-27 12:06 19K
datenumber.ins 2001-08-07 22:00 1.9K