Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - examples/ 2010-12-14 18:13 - THANKS 2010-12-14 16:21 1.2K curve.ins 2010-12-14 16:21 1.7K README 2010-12-14 16:21 2.5K curve.el 2010-12-14 16:21 3.2K NEWS 2010-12-14 16:21 4.4K curve.dtx 2010-12-14 16:21 87K curve.pdf 2010-12-14 16:21 273K