Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - testmakebox.tex 2004-07-31 16:32 339 makebox.ins 2004-07-31 16:33 493 getversion.tex 2004-07-31 16:46 151 README 2004-07-31 16:50 1.4K makebox.xml 2004-07-31 16:51 789 ChangeLog 2004-07-31 16:52 74 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