../ Makefile 15-Jul-2004 10:51 1742 vmargin.dtx 15-Jul-2004 10:52 31K vmargin.ins 14-Mar-2000 05:14 756 vmargin.pdf 15-Jul-2004 10:53 174K