Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - nrc.ins 2013-02-01 14:50 1.1K README 2012-11-05 16:18 1.4K 00-2013-feb-authors.txt 2013-02-04 15:15 4.9K userguide.tex 2012-11-05 16:18 81K nrc.dtx 2013-02-03 18:37 159K userguide.pdf 2012-11-05 16:18 201K