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