Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
LICENSE.txt 2015-10-27 11:07 1.1K
dynamicnumber.ins 2015-10-27 11:07 1.1K
README.md 2015-10-27 11:07 3.7K
dynamicnumber.dtx 2015-10-27 11:07 6.7K
dynamicnumber.pdf 2015-10-27 11:07 155K