Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - datatool-code.pdf 2019-09-27 20:54 1.1M datatool.dtx 2019-09-27 20:54 818K datatool-user.pdf 2019-09-27 20:54 628K datatool-user.tex 2019-09-27 20:54 406K CHANGES 2019-09-27 20:54 15K README 2019-09-27 20:54 3.0K datatool.ins 2019-09-27 20:54 2.2K INSTALL 2019-09-27 20:54 1.7K samples/ 2015-07-11 17:09 -