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