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 getversion.tex 2004-07-31 16:46 151 testmakebox.tex 2004-07-31 16:32 339 makebox.ins 2004-07-31 16:33 493 makebox.xml 2004-07-31 16:51 789 README 2004-07-31 16:50 1.4K Makefile 2004-07-31 16:54 2.4K makebox.dtx 2004-07-31 16:57 4.1K makebox.pdf 2004-07-31 16:57 275K