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 README 2004-07-31 16:50 1.4K makebox.xml 2004-07-31 16:51 789 makebox.ins 2004-07-31 16:33 493 testmakebox.tex 2004-07-31 16:32 339 getversion.tex 2004-07-31 16:46 151 ChangeLog 2004-07-31 16:52 74