Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2008-07-10 07:01 1.3K inlinedef.dtx 2008-07-10 06:53 40K inlinedef.ins 2008-07-10 06:35 2.6K inlinedef.pdf 2008-07-10 07:02 151K inlinetest.tex 2008-07-10 07:02 12K