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