Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ChangeLog 2004-07-31 16:52 74 Makefile 2004-07-31 16:54 2.4K README 2004-07-31 16:50 1.4K getversion.tex 2004-07-31 16:46 151 makebox.dtx 2004-07-31 16:57 4.1K makebox.ins 2004-07-31 16:33 493 makebox.pdf 2004-07-31 16:57 275K makebox.xml 2004-07-31 16:51 789 testmakebox.tex 2004-07-31 16:32 339